Proofgold Term Root Disambiguation

pair_p = tuple_p 2

as obj
-

as prop
4ab8c..^{pair_p_tuple2}

theory
HotG

stx
08e38..

address
TMa7P..^{pair_p_tuple2}