Ascent++
Search
method patent
subgroup of
patent
,
1
assertions
CapableOf
1
claim a number of steps
0.68