Assertion list
large goiter (subgroup of goiter ) → HasProperty

Results from Ascent++: 2
large goiterHasProperty visible 0.51
large goiterHasProperty uncomfortable 0.16