Proofgold Term Root Disambiguation

nIn 1 1

as obj
-

as prop
77740..^nIn_1_1

theory
HotG

stx
d0fc7..

address
TMLzA..^nIn_1_1