Ascent++
Search
proposed mechanism
subgroup of
mechanism
,
1
assertions
HasProperty
1
consistent
0.52