Assertion list
contract template (subgroup of template ) ā†’ CapableOf
Results from Ascent++: 1
contract template ā†’ CapableOf ā†’ put on with all the essential sā€¦ 0.68