Assertion list
sedan (primary) → IsA
Results from Ascent++: 2
sedan → IsA → car 0.43
sedan → IsA → a passenger car 0.34