Assertion list
body (aspect of seal ) → AtLocation
Results from Ascent++: 1
body → AtLocation → the world 0.25