Assertion list
head (aspect of wife ) → AtLocation
Results from Ascent++: 1
head → AtLocation → cloud 0.39