Assertion list
egg (aspect of flea ) → AtLocation
Results from Ascent++: 1
egg → AtLocation → carpeting 0.46