near is the toy to the edge of the cupboard? ImplicationLink_HOJ ANDLink Near(toy, bag) (tvi) Inside(toy, cupboard) (tv2) ANDLink tv3 = tv2) Near(toy, cupboard_edge) (tv3) 3. If I climb on the pillow, then shortly after I'll be on the pillow PredictivelmplicationLink Climb_on(pillow) Over(self,