Proofgold Term Root Disambiguation

pair_tag (Sing 4)

as obj
60b50..^HSNo_pair

as prop
-

theory
HotG

stx
5c6b2..

address
TMaBD..^HSNo_pair