Proofgold Term Root Disambiguation

λ x0 . Sep2 x0 (λ x1 . x0)

as obj
e6e31..^encode_r

as prop
-

theory
HotG

stx
08e38..

address
TMVAv..^encode_r