Assertion list
face (aspect of dodecahedron ) → HasProperty
Results from Ascent++: 3
face → HasProperty → square 0.84
face → HasProperty → equiangular 0.68
face → HasProperty → equilateral 0.68