Assertion list
head (aspect of ostrich ) → AtLocation
Results from Ascent++: 1
head → AtLocation → the sand 0.25