The Grammar So Far
(S (TYPE LIFT)) -> (VP (TYPE LIFT)) (OBJ ...)
(S (TYPE DROP)) -> (VP (TYPE DROP)) (OBJ ...)
(S (TYPE MOVE)) -> (VP (TYPE MOVE)) (DESTINATION ...)
(OBJ (SHAPE (? S)) (COLOR (? C)) (REF (? REF)))) ->
(DET (REF (? REF)) (VOWEL (? V)))
(COLOR (ROOT (? C)) (VOWEL (? V)))
(LOCATION (TYPE (? LOC-TYPE)))
(OBJ (SHAPE (? S)) (COLOR NIL) (REF (? REF)))) ->
(DET (REF (? REF)) (VOWEL (? V)))
(LOCATION (TYPE (? LOC-TYPE)))