Assertion list for term "be a deduction of fact".

Results from Ascent++: 1
inference CapableOfbe a deduction of fact 0.33