Assertion list
vertex (aspect of polyhedron ) → HasProperty
Results from Ascent++: 1
vertex → HasProperty → visible 0.54