Assertion list
mechanical valve (subgroup of valve ) → HasProperty

Results from Ascent++: 1
mechanical valveHasProperty strong 0.59