Proofgold Term Root Disambiguation

wceq c1 (cop c1r c0r)

as obj
-

as prop
6b1df..

theory
SetMM

stx
96135..

address
TMThE..