Ascent++
Search
Assertion list
hand
(
aspect
of
clock
)
→ HasProperty
Results from
Ascent++
:
7
hand
→
HasProperty
→
original
0.84
hand
→
HasProperty
→
black
0.68
hand
→
HasProperty
→
large
0.34
hand
→
HasProperty
→
white
0.30
hand
→
HasProperty
→
free
0.25
hand
→
HasProperty
→
shaped
0.25
hand
→
HasProperty
→
inconsistent
0.21