Assertion list for term "given as contract".

Results from Ascent++: 1
construction (aspect of bridge) ReceivesActiongiven as contract 0.25