Proofgold Term Root Disambiguation

u15 ∈ u17

as obj
-

as prop
31b8d..

theory
HotG

stx
7184d..

address
TMYm3..