Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 : ο . wb (wvd3 x0 x1 x2 x3) (w3a x0 x1 x2 ⟶ x3)

as obj
-

as prop
6b62e..

theory
SetMM

stx
6038b..

address
TMdEg..