Ascent++
Search
standard tip
subgroup of
tip
,
1
assertions
IsA
1
10%
0.68