Assertion list
general principle (subgroup of principle ) → HasA
Results from Ascent++: 1
general principle → HasA → little value 0.32