Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ prim4 x0 ⟶ x1 ⊆ x0

as obj
-

as prop
64707..^PowerE

theory
HotG

stx
18c18..

address
TMWSJ..^PowerE