Proofgold Term Root Disambiguation

u11 ⊆ u17

as obj
-

as prop
b4ae4..

theory
HotG

stx
daf5d..

address
TMXvx..