Assertion list for term "natural inclusions".

Results from Ascent++: 1
diamond HasAnatural inclusions 0.47