Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'set_of_pairs = λ x1 . ∀ x2 . In x2 x1 ⟶ ∀ x3 : ο . (∀ x4 . (∀ x5 : ο . (∀ x6 . x2 = lam 2 (λ x8 . If_i (x8 = 0) x4 x6) ⟶ x5) ⟶ x5) ⟶ x3) ⟶ x3', )

address
TMNNe..^{set_of_pairs_def}