Assertion list
control valve (subgroup of valve ) → IsA
Results from Ascent++: 1
control valve → IsA → a high-speed trigger valve 0.30