Assertion list for term "automated contracts".

Results from Ascent++: 1
smart contract (subgroup of contract) IsAautomated contracts 0.25