Proofgold Term Root Disambiguation

u17 ⊆ u22

as obj
-

as prop
e46ec..

theory
HotG

stx
35789..

address
TMJiF..