Proofgold Term Root Disambiguation

wceq clsxlim (cfv (cfv cle cordt) clm)

as obj
-

as prop
53c5a..

theory
SetMM

stx
6038b..

address
TMRCx..