[KnowledgeBase:[TypeHierarchy:(GT[TypeLabel:"Entity"][TypeLabel:@Col{"Block","Hand","Location"}])(GT[TypeLabel:"Act"][TypeLabel:@Col{"Pickup","Putdown","Move"}])(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'])]]