Assertion list
face (aspect of tetrahedron ) → HasProperty
Results from Ascent++: 4
face → HasProperty → identical 0.84
face → HasProperty → triangular 0.59
face → HasProperty → square 0.56
face → HasProperty → regular 0.25