Proofgold Term Root Disambiguation

pair_tag (Sing 2)

as obj
23fbc..^SNo_pair

as prop
-

theory
HotG

stx
5ed1a..

address
TMbuy..^SNo_pair