Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Power x0) ⟶ Subq x1 x0

as obj
-

as prop
ae89b..^PowerE

theory
HF

stx
2dedf..

address
TMYsc..^PowerE