Proofgold Term Root Disambiguation

nIn 2 2

as obj
-

as prop
df31d..^nIn_2_2

theory
HF

stx
0d78c..

address
TMHJr..^nIn_2_2