Proofgold Term Root Disambiguation

λ x0 x1 . x0

as obj
ba8cf..

as prop
-

theory
HotG

stx
7e9c3..

address
TMYmL..