Assertion list
exhaust pipe (primary) → IsA
Results from Ascent++: 1
exhaust pipe → IsA → pipe 0.25