Assertion list
safety valve (primary) → IsA
Results from Ascent++: 2
safety valve → IsA → a valve mechanism 0.62
safety valve → IsA → automatic valve 0.41