Proofgold Term Root Disambiguation

wceq csuccf (ccom ccup (ctxp cid csingle))

as obj
-

as prop
23cf0..

theory
SetMM

stx
29eaf..

address
TMZ3b..