Proofgold Term Root Disambiguation

nIn 1 0

as obj
-

as prop
2fd3e..^nIn_1_0

theory
HotG

stx
d0fc7..

address
TMavi..^nIn_1_0