moveFloor
RLGG conditions: [(clear ?A), (block ?A), (above ?A ?), (on ?A ?)]
Specialisation conditions: [(highest ?A), (not (highest ?A))]

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

