Assertion list for term "such small inclusions".

Results from Ascent++: 1
diamond HasAsuch small inclusions 0.56