Proofgold Term Root Disambiguation

6 ∈ 8

as obj
-

as prop
3c5f2..^In_6_8

theory
HotG

stx
d0fc7..

address
TMNL3..^In_6_8