Assertion list
face (aspect of polyhedron ) → HasProperty
Results from Ascent++: 1
face → HasProperty → colored 0.25