Assertion list
privacy (primary) → HasA

Results from Ascent++: 2
privacyHasA both 0.29
privacyHasA cost 0.29