Assertion list
liquid lubricant (subgroup of lubricant ) → HasProperty
Results from Ascent++: 1
liquid lubricant → HasProperty → more effective 0.59