Assertion list
tail (aspect of dog ) → AtLocation
Results from Ascent++: 2
tail → AtLocation → the air 0.38
tail → AtLocation → constant motion 0.28