Ascent++
Search
free choice
subgroup of
choice
,
2
assertions
HasProperty
1
free
0.68
IsA
1
illusion
0.43