Proofgold Term Root Disambiguation

u6 ⊆ u8

as obj
-

as prop
bd770..

theory
HotG

stx
daf5d..

address
TMcmM..