Assertion list
lr (primary) → HasA
Results from Ascent++: 1
lr → HasA → long-standing reputation 0.16