Proofgold Term Root Disambiguation

as obj
-

as prop
4f721..^{minus_CSNo_CIm}

theory
HotG

stx
93147..

address
TMcBz..^{minus_CSNo_CIm}