Assertion list
lantern (primary) → HasA
Results from Ascent++: 2
lantern → HasA → handle 0.43
lantern → HasA → rugged, impact-resistant constr… 0.25