Proofgold Term Root Disambiguation

as obj
-

as prop
757f2..^{stricttotalorder_i_I}

theory
HF

stx
b6147..

address
TMT8v..^{stricttotalorder_i_I}