Assertion list
working fluid (subgroup of fluid ) → IsA
Results from Ascent++: 2
working fluid → IsA → liquid 0.49
working fluid → IsA → gas 0.25