Assertion list
helicopter parent (subgroup of parent ) → HasA
Results from Ascent++: 1
helicopter parent → HasA → good intentions 0.41