Proofgold Term Root Disambiguation

empty_p 4a7ef..

as obj
-

as prop
9a431..

theory
HoTg

stx
c37db..

address
TMcC3..