Proofgold Term Root Disambiguation

nat_p u30

as obj
-

as prop
a9ae2..

theory
HotG

stx
36e89..

address
TMMiS..