Proofgold Term Root Disambiguation

4 ∈ 5

as obj
-

as prop
03b9f..^In_4_5

theory
HotG

stx
d0fc7..

address
TMM44..^In_4_5