Assertion list
chinese cleaver (subgroup of cleaver ) → HasProperty
Results from Ascent++: 1
chinese cleaver → HasProperty → useful 0.59