Proofgold Term Root Disambiguation

nat_p 4

as obj
-

as prop
2b6ba..

theory
HF

stx
d6132..

address
TMQ1g..