Proofgold Term Root Disambiguation

nIn 0 0

as obj
-

as prop
9dcaa..^nIn_0_0

theory
HF

stx
0d78c..

address
TMcwW..^nIn_0_0