Proofgold Term Root Disambiguation

setsum 1 0 = 1

as obj
-

as prop
c6ede..^pair_1_0_1

theory
HF

stx
cbc45..

address
TMNWX..^pair_1_0_1