move
RLGG conditions: [(clear ?A), (clear ?B), (block ?A), (thing ?A), (thing ?B), (above ?A ?), (on ?A ?)]
Specialisation conditions: [(above ?A ?B), (highest ?A), (highest ?B), (block ?B), (floor ?B), (above ?B ?), (on ?B ?), (above ? ?B), (on ? ?B), (not (above ?A ?B)), (not (block ?B)), (not (floor ?B)), (not (highest ?A)), (not (highest ?B)), (not (above ?B ?)), (not (on ?B ?)), (not (above ? ?B)), (not (on ? ?B))]

