Proofgold Term Root Disambiguation

∀ x0 . prim3 (prim4 x0) ⊆ x0

as obj
-

as prop
1b431..^{Union_Power_Subq}

theory
HotG

stx
18c18..

address
TMTgv..^{Union_Power_Subq}