Proofgold Term Root Disambiguation

as obj
-

as prop
d3861..^{conj_CSNo_CIm}

theory
HotG

stx
5ed1a..

address
TMcep..^{conj_CSNo_CIm}