Proofgold Term Root Disambiguation

nIn 2 1

as obj
-

as prop
9f9cb..^nIn_2_1

theory
HotG

stx
019b2..

address
TMMJE..^nIn_2_1