Assertion list
early thimble (subgroup of thimble ) → MadeOf
Results from Ascent++: 2
early thimble → MadeOf → horn 0.64
early thimble → MadeOf → ivory 0.64