Assertion list
carcass (primary) → HasA
Results from Ascent++: 2
carcass → HasA → conformation 0.42
carcass → HasA → minimum prime quality 0.25