Assertion list
aardvark (primary) → HasA
Results from Ascent++: 2
aardvark → HasA → elaborate structures 0.25
aardvark → HasA → thick skin 0.25