Proofgold Term Root Disambiguation

∀ x0 x1 : ο . wb (wa x0 x1) (wn (x0 ⟶ wn x1))

as obj
-

as prop
4e2fd..

theory
SetMM

stx
5ee1c..

address
TMNjk..