Proofgold Term Root Disambiguation

λ x0 x1 . decode_b (ap x1 1)

as obj
ecd34..

as prop
-

theory
HotG

stx
0f4f5..

address
TMFEj..