Assertion list
new sanction (subgroup of sanction ) → HasProperty
Results from Ascent++: 2
new sanction → HasProperty → tough 0.25
new sanction → HasProperty → illegal 0.16