Proofgold Term Root Disambiguation

wceq c1q (cop c1o c1o)

as obj
-

as prop
6cacf..

theory
SetMM

stx
338b7..

address
TMQSr..