Proofgold Term Root Disambiguation

as obj
-

as prop
f2cf1..^conj_HSNo_i

theory
HotG

stx
43801..

address
TMScu..^conj_HSNo_i