Assertion list
state aid (subgroup of aid ) → HasA

Results from Ascent++: 1
state aidHasA impermissible primary effect 0.30