Proofgold Term Root Disambiguation

u7 ⊆ u8

as obj
-

as prop
021ac..

theory
HotG

stx
daf5d..

address
TMKYg..