Assertion list
contact lens (subgroup of lens ) → HasProperty
Results from Ascent++: 1
contact lens → HasProperty → comfortable 0.46