Assertion list for term "object to violation".

Results from Ascent++: 1
member (aspect of union) CapableOfobject to violation 0.25