Assertion list
indoor pool (subgroup of pool ) → IsA
Results from Ascent++: 2
indoor pool → IsA → dream 0.16
indoor pool → IsA → plus 0.16