Assertion list
state aid (subgroup of aid ) → HasProperty
Results from Ascent++: 1
state aid → HasProperty → illegal 0.30