Assertion list
face (aspect of icosahedron ) → HasProperty

Results from Ascent++: 1
faceHasProperty square 0.41