Proofgold Term Root Disambiguation

nat_p 3

as obj
-

as prop
9814f..

theory
HF

stx
d6132..

address
TMMmv..