Assertion list
electric car (subgroup of car ) → AtLocation
Results from Ascent++: 1
electric car → AtLocation → gas-guzzling world 0.25