Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wa (wcel x0 chil) (wne x0 c0v) ⟶ wbr cc0 (co x0 x0 csp) clt

as obj
-

as prop
272ef..

theory
SetMM

stx
47223..

address
TMRpn..