Proofgold Term Root Disambiguation

∀ x0 : ο . wb x0 x0

as obj
-

as prop
91a3a..

theory
SetMM

stx
8596b..

address
TMTVK..