Assertion list
alloy wheel (subgroup of wheel ) → AtLocation
Results from Ascent++: 1
alloy wheel → AtLocation → the marketplace 0.39