Assertion list
high school coach (subgroup of coach ) → CapableOf
Results from Ascent++: 1
high school coach → CapableOf → implement a no-cutpolicy 0.16