Assertion list for term "belong to larger pattern".

Results from Ascent++: 1
eclipse CapableOfbelong to larger pattern 0.29