Proofgold Term Root Disambiguation

wceq cc0 (cop c0r c0r)

as obj
-

as prop
05fe1..

theory
SetMM

stx
96135..

address
TMJJo..