Assertion list
face (aspect of polyhedron ) → HasProperty

Results from Ascent++: 1
faceHasProperty colored 0.25