Assertion list
patent (aspect of gypsum ) → HasProperty
Results from Ascent++: 1
patent → HasProperty → invalid 0.16