Proofgold Term Root Disambiguation

∃ x0 . empty_p x0

as obj
-

as prop
438d4..

theory
HoTg

stx
c37db..

address
TMG4f..