Assertion list for term "contravened section".

Results from Ascent++: 1
member (aspect of class) CapableOfcontravened section 0.25