Assertion list
ufo (primary) → AtLocation
Results from Ascent++: 1
ufo → AtLocation → the sky 0.40