Proofgold Term Root Disambiguation

∀ x0 : ο . or (x0 = True) (x0 = False)

as obj
-

as prop
dd7e1..

theory
HF

stx
00ca5..

address
TMPND..