Assertion list
water bug (subgroup of bug ) → AtLocation
Results from Ascent++: 1
water bug → AtLocation → water sources 0.16