Proofgold Term Root Disambiguation

∀ x0 . In x0 (Power x0)

as obj
-

as prop
7b5f8..^{Self_In_Power}

theory
HF

stx
2dedf..

address
TMPqa..^{Self_In_Power}