Assertion list for term "tiny cavities".
Results from Ascent++: 1
topaz → AtLocation → tiny cavities 0.25