Assertion list
limousine (primary) → IsA
Results from Ascent++: 2
limousine → IsA → saloon car 0.58
limousine → IsA → long luxury car 0.34