Ascent++
Search
hybrid eclipse
subgroup of
eclipse
,
2
assertions
CapableOf
1
begin annular
0.25
HasProperty
1
rare
0.68