Assertion list for term "be a superset of the cldc".

Results from Ascent++: 1
cdc CapableOfbe a superset of the cldc 0.25