move
Local conditions: [(above ?B ?), (on ?B ?), (above ? ?B), (on ? ?B)]
Observed ranges: []

