Proofgold Term Root Disambiguation

λ x0 x1 . decode_b (ap x1 2)

as obj
441a0..

as prop
-

theory
HotG

stx
0f4f5..

address
TMKTa..