Assertion list
prism (primary) → HasA

Results from Ascent++: 8
prismHasA an incident surface 0.30
prismHasA a hypotenuse face 0.25
prismHasA congruent bases 0.25
prismHasA different heights 0.25
prismHasA prism pitch 0.25
prismHasA varying included angle 0.25
prismHasA one surface 0.21
prismHasA many features 0.16