Proofgold Term Root Disambiguation

nIn 2 0

as obj
-

as prop
7a610..^nIn_2_0

theory
HF

stx
0d78c..

address
TMKNv..^nIn_2_0