Assertion list
open wound (subgroup of wound ) → HasProperty
Results from Ascent++: 1
open wound → HasProperty → common 0.16