Ascent++
Search
objective truth
subgroup of
truth
,
3
assertions
CapableOf
1
exist
0.25
HasProperty
1
attainable
0.24
IsA
1
truth
0.84