Proofgold Term Root Disambiguation

∀ x0 . or (x0 = 4a7ef..) (∃ x1 . prim1 x1 x0)

as obj
-

as prop
f8e95..

theory
HoTg

stx
7cde0..

address
TMdUW..