Assertion list for term "considered binding".
Results from Ascent++: 2
contract → ReceivesAction → considered binding 0.42
execution → HasProperty → considered binding 0.31