Assertion list
transmission fluid (subgroup of fluid ) → IsA
Results from Ascent++: 1
transmission fluid → IsA → lubricant 0.25