Proofgold Term Root Disambiguation

80242.. (f4dc0.. 48ef8..)

as obj
-

as prop
681ed..

theory
HoTg

stx
ab965..

address
TMJdU..