Proofgold Term Root Disambiguation

λ x0 x1 . ap x1 0

as obj
fc5ac..

as prop
-

theory
HotG

stx
0f4f5..

address
TMNAc..