Assertion list
lector (primary) → HasProperty
Results from Ascent++: 1
lector → HasProperty → comfortable 0.29