Assertion list
new car (subgroup of car ) → AtLocation
Results from Ascent++: 2
new car → AtLocation → the shop 0.36
new car → AtLocation → transit 0.25