Assertion list
control valve (subgroup of valve ) → HasProperty
Results from Ascent++: 2
control valve → HasProperty → open 0.77
control valve → HasProperty → the most important 0.30