Assertion list for term "come down to applications of the transitive law".
Results from Ascent++: 1
deduction → CapableOf → come down to applications of the transitive law 0.25