Ascent++
Search
Assertion list
big lie
(
subgroup
of
lie
)
→ HasProperty
Results from
Ascent++
:
1
big lie
→
HasProperty
→
unlikely
0.59