Assertion list
brown spot (subgroup of spot ) → HasProperty
Results from Ascent++: 1
brown spot → HasProperty → flat 0.68