Assertion list
salt water pool (subgroup of pool ) → IsA
Results from Ascent++: 1
salt water pool → IsA → cheaper to maintain 0.16