Assertion list for term "appear in the contract".

Results from Ascent++: 1
term (aspect of contract) CapableOfappear in the contract 0.44