Ascent++
Search
plain bagel
subgroup of
bagel
,
1
assertions
HasProperty
1
good
0.59