Proofgold Term Root Disambiguation

2 ∈ 3

as obj
-

as prop
ebdb5..^In_2_3

theory
HotG

stx
d0fc7..

address
TMPo1..^In_2_3