Assertion list
endoscope (primary) → HasProperty
Results from Ascent++: 2
endoscope → HasProperty → flexible 0.38
endoscope → HasProperty → rigid 0.38