Assertion list
car battery (primary) → AtLocation
Results from Ascent++: 2
car battery → AtLocation → front of the office 0.30
car battery → AtLocation → inconspicuous areas 0.25