Assertion list for term "lie on the surface".
Results from Ascent++: 3
curve → CapableOf → lie on the surface 0.54
rock → CapableOf → lie on the surface 0.32
point (aspect of curve) → CapableOf → lie on the surface 0.32