Proofgold Term Root Disambiguation

wceq cfa (cun (csn (cop cc0 c1)) (cseq cmul cid c1))

as obj
-

as prop
89450..

theory
SetMM

stx
33c8c..

address
TMJHg..