Assertion list for term "form a presentation surface".

Results from Ascent++: 1
outer surface (subgroup of surface) CapableOfform a presentation surface 0.25