Proofgold Term Root Disambiguation

nSubq 1 0

as obj
-

as prop
f57d8..^nSubq_1_0

theory
HotG

stx
d0fc7..

address
TMMWu..^nSubq_1_0