Assertion list
lawn mower (primary) → AtLocation
Results from Ascent++: 1
lawn mower → AtLocation → the garage 0.29