Assertion list
car (primary) → UsedFor
Results from Ascent++: 1
car → UsedFor → transportation 0.60