Assertion list
ladybug (primary) → AtLocation
Results from Ascent++: 2
ladybug → AtLocation → garden 0.25
ladybug → AtLocation → the united states 0.25