Proofgold Term Root Disambiguation

2 ∈ 6

as obj
-

as prop
a8f5a..^In_2_6

theory
HotG

stx
d0fc7..

address
TMXd4..^In_2_6