Proofgold Term Root Disambiguation

nat_p u31

as obj
-

as prop
74918..

theory
HotG

stx
36e89..

address
TMTM4..