Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wb (wrel x0) (wss x0 (cxp cvv cvv))

as obj
-

as prop
b02e3..

theory
SetMM

stx
7c847..

address
TMXCZ..