Assertion list
necessary truth (subgroup of truth ) → HasA

Results from Ascent++: 1
necessary truthHasA principle 0.25