Assertion list
tetrahedron (primary) → HasA
Results from Ascent++: 1
tetrahedron → HasA → 4 faces 0.47