Assertion list
large intestine (subgroup of intestine ) → HasProperty
Results from Ascent++: 1
large intestine → HasProperty → straight 0.59