Ascent++
Search
Assertion list
eraser
(
primary
)
→ HasA
Results from
Ascent++
:
1
eraser
→
HasA
→
rubbery consistency
0.36