Proofgold Term Root Disambiguation

nIn 2 1

as obj
-

as prop
0ba24..^nIn_2_1

theory
HF

stx
0d78c..

address
TMM29..^nIn_2_1