Assertion list for term "used by party".
Results from Ascent++: 2
term (aspect of contract) → ReceivesAction → used by party 0.54
tactic → ReceivesAction → used by party 0.32