Assertion list
nantes carrot (subgroup of carrot ) → HasProperty
Results from Ascent++: 1
nantes carrot → HasProperty → cylindrical 0.77