Proofgold Term Root Disambiguation

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

as obj
-

as prop
3c48d..^PowerI

theory
HotG

stx
18c18..

address
TMYd9..^PowerI