Assertion list
contract lobbyist (subgroup of lobbyist ) → HasA
Results from Ascent++: 1
contract lobbyist → HasA → enforceable right 0.68