Assertion list
infected wound (subgroup of wound ) → CapableOf
Results from Ascent++: 1
infected wound → CapableOf → become red 0.59