Proofgold Term Root Disambiguation

wceq chl (cin cbn ccph)

as obj
-

as prop
45fc1..

theory
SetMM

stx
29ebb..

address
TMNoS..