Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 : ο . wb x0 x1 ⟶ wif x0 x3 x2 ⟶ wif x1 x3 x2

as obj
-

as prop
d4499..

theory
SetMM

stx
8596b..

address
TMHCt..