Assertion list for term "execute the terms of a contract".
Results from Ascent++: 1
smart contract (subgroup of contract) → CapableOf → execute the terms of a contract 0.35