Assertion list
thimble (primary) → HasProperty
Results from Ascent++: 5
thimble → HasProperty → expensive 0.29
thimble → HasProperty → adjustable 0.25
thimble → HasProperty → perfect 0.23
thimble → HasProperty → flexible 0.16
thimble → HasProperty → small 0.16