Proofgold Term Root Disambiguation

λ x0 x1 . ap x1 4

as obj
7a6cc..

as prop
-

theory
HotG

stx
0f4f5..

address
TMSiU..