Assertion list
ground pool (subgroup of pool ) → HasA
Results from Ascent++: 1
ground pool → HasA → barrier 0.45