Assertion list
transmission fluid (subgroup of fluid ) → HasProperty
Results from Ascent++: 1
transmission fluid → HasProperty → dirty 0.16