Assertion list for term "come with small fraction".

Results from Ascent++: 1
benzene CapableOfcome with small fraction 0.41