Proofgold Term Root Disambiguation

λ x0 x1 . ap x1 3

as obj
057d7..

as prop
-

theory
HotG

stx
0f4f5..

address
TMRky..