Assertion list
socket (aspect of tooth ) → HasA
Results from Ascent++: 1
socket → HasA → a rubber o-ring 0.25