Proofgold Term Root Disambiguation

nIn 1 1

as obj
-

as prop
6e7db..^nIn_1_1

theory
HF

stx
0d78c..

address
TMd3w..^nIn_1_1