Ascent++
Search
standard polish
subgroup of
polish
,
1
assertions
CapableOf
1
become more homogeneous
0.68