Assertion list for term "use axiom".
Results from Ascent++: 2
proof → CapableOf → use axiom 0.51
geometry → CapableOf → use axiom 0.25