Proofgold Term Root Disambiguation

∀ x0 : ο . propToBool x0 ∈ 2

as obj
-

as prop
3072f..

theory
HotG

stx
786b2..

address
TMMZW..