Proofgold Term Root Disambiguation

wceq cfield (cin cdr ccrg)

as obj
-

as prop
f55d1..

theory
SetMM

stx
257fe..

address
TMYpV..