Proofgold Term Root Disambiguation

wceq cr (cxp cnr (csn c0r))

as obj
-

as prop
cbb6b..

theory
SetMM

stx
96135..

address
TMS54..