Assertion list
gate valve (subgroup of valve ) → IsA
Results from Ascent++: 1
gate valve → IsA → valve 0.44