Proofgold Term Root Disambiguation

wceq cogrp (cin cgrp comnd)

as obj
-

as prop
11cde..

theory
SetMM

stx
2af7b..

address
TMZ8N..