Assertion list
screw compressor (subgroup of compressor ) → HasProperty
Results from Ascent++: 1
screw compressor → HasProperty → more efficient 0.59