Proofgold Term Root Disambiguation

setsum_p = tuple_p 2

as obj
-

as prop
47657..^{setsum_p_tuple2}

theory
HF

stx
89549..

address
TMSHB..^{setsum_p_tuple2}