Proofgold Term Root Disambiguation

u19 ∈ u24

as obj
-

as prop
a4364..

theory
HotG

stx
ddad9..

address
TMdqU..