Proofgold Term Root Disambiguation

wceq cabl (cin cgrp ccmn)

as obj
-

as prop
d4fe7..

theory
SetMM

stx
9edd3..

address
TMP4d..