Assertion list
locomotive (primary) → IsA
Results from Ascent++: 2
locomotive → IsA → a rail transport vehicle 0.41
locomotive → IsA → self-propelled vehicle 0.25