Assertion list for term "convex upper face".
Results from Ascent++: 1
contact → HasA → convex upper face 0.36