Ascent++
Search
logical truth
subgroup of
truth
,
1
assertions
HasProperty
1
true
0.68