Proofgold Term Root Disambiguation

0 ∈ 1

as obj
-

as prop
3be80..^In_0_1

theory
HotG

stx
18c18..

address
TMSTY..^In_0_1