Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ο . wa x1 x2 ⟶ wif x0 x1 x2

as obj
-

as prop
95255..

theory
SetMM

stx
8596b..

address
TMYCs..