Assertion list
curb (primary) → AtLocation
Results from Ascent++: 2
curb → AtLocation → good state of repair 0.45
curb → AtLocation → michigan 0.45