Assertion list for term "use condition".

Results from Ascent++: 1
contract CapableOfuse condition 0.68