Proofgold Term Root Disambiguation

∀ x0 x1 . d97e3.. (1ce4f.. x0) (1ce4f.. x1) ⟶ In x0 x1

as obj
-

as prop
3172a..^In_1_down

theory
HF

stx
f19eb..

address
TMSzG..^In_1_down