Assertion list
conservatism (primary) → HasA

Results from Ascent++: 1
conservatismHasA practical expressions 0.25