Assertion list
seventh amendment (subgroup of amendment ) → HasProperty
Results from Ascent++: 1
seventh amendment → HasProperty → inapplicable 0.62