Assertion list for term "congruent bases".
Results from Ascent++: 1
prism → HasA → congruent bases 0.25