Proofgold Term Root Disambiguation

0 ∈ 4

as obj
-

as prop
2d416..^In_0_4

theory
HotG

stx
d0fc7..

address
TMbWh..^In_0_4