Ascent++ | use general deductibility rules

Ascent++

Assertion list for term "use general deductibility rules".

Results from Ascent++: 1

donor → CapableOf → use general deductibility rules

0.67

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.