Ascent++
Search
Assertion list
prediction
(
primary
)
→ HasA
Results from
Ascent++
:
1
prediction
→
HasA
→
some validity
0.36