Assertion list
fire engine (primary) → DefinedAs
Results from Ascent++: 1
fire engine → DefinedAs → engine 0.30