Proofgold Term Root Disambiguation

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

as obj
-

as prop
2d44a..^PowerI

theory
HF

stx
2dedf..

address
TMU9G..^PowerI