Proofgold Term Root Disambiguation

8 ∈ 9

as obj
-

as prop
981f4..^In_8_9

theory
HotG

stx
d0fc7..

address
TMMVC..^In_8_9