[KnowledgeBase: [TypeHierarchy: (GT [TypeLabel: "Entity"] [TypeLabel: @Col{"Block", "Hand", "Location"} ] ) (GT [TypeLabel: "Act"] [TypeLabel: @Col{"Pickup", "Putdown", "MoveHand", "MoveBlock"} ] ) (Def [TypeLabel: "Block"] [LambdaExpression: "(lambda (Entity*b) (ATTR ?b [Color]) (CHRC ?b [Shape]))" ] ) (Def [TypeLabel: "Pickup"] [LambdaExpression: "(lambda (Act*p) (PTNT ?p [Block*b]) (INST ?p [Hand*h]) (RSLT ?p [Situation: (GRASP ?h ?b)]) )" ] ) (Def [TypeLabel: "Putdown"] [LambdaExpression: "(lambda (Act*p) (PTNT ?p [Block*b]) (DEST ?p [Location*l]) (INST ?p [Hand]) (RSLT ?p [Situation: (Top ?b ?l)]) )" ] ) (Def [TypeLabel: "MoveHand"] [LambdaExpression: "(lambda (Act*m) (DEST ?m [Location*l]) (INST ?m [Hand*h]) (RSLT ?m [Situation: (At ?h ?l)]) )" ] ) (Def [TypeLabel: "MoveBlock"] [LambdaExpression: "(lambda (Act*m) (DEST ?m [Location*l]) (PTNT ?m [Block*b]) (INST ?m [Hand]) (RSLT ?m [Situation: (At ?b ?l)]) )" ] ) ] [RelationHierarchy: (GT [RelationLabel: "Relation"] [RelationLabel: @Col{"At", "Above", "OnTable", "Top", "EmptyHand"}] ) (Def [RelationLabel: "At"] [LambdaExpression: "(lambda (Entity*e1, Location*l) (POS ?e1 ?l))" ] ) (Def [RelationLabel: "Top"] [LambdaExpression: "(lambda (Block*b1,Location*l) (At ?b1 ?l) ~[(Above [Block*b2] ?b1)])" ] ) (Def [RelationLabel: "EmptyHand"] [LambdaExpression: "(lambda (Hand*h) ~[(GRASP ?h [Block])])" ] ) (Def [RelationLabel: "OnTable"] [LambdaExpression: "(lambda (Block*b,Location*l) (At ?b ?l) ~[(GRASP [Hand] ?b)])" ] ) (Def [RelationLabel: "Above"] [LambdaExpression: "(lambda (Block*b1,Block*b2) (OnTable ?b1 [Location*l]) (OnTable ?b2 ?l))" ] ) ] [CatalogOfIndividuals: [Block:#1] [Block:#2] [Block:#3] [Hand:#4] [Location:#5] [Location:#6] ] [Assertion: [Block:@3] (ATTR [Block:#1] [Color:'Red']) (ATTR [Block:#2] [Color:'Blue']) (ATTR [Block:#3] [Color:'Green']) (OnTable [:#1] [:#5]) (OnTable [:#2] [:#6]) (OnTable [:#3] [:#5]) (Above [:#1] [:#3]) (Emptyhand [:#4]) [Either: [Or: (ATTR [Block:#1] [Color:'Blue'])] [Or: (ATTR [Block:#2] [Color:'Blue'])]] (CHRC [Block:@every] [Shape:'Cubical']) ] ]