Proofgold Term Root Disambiguation

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

address
TMNNe..^{set_of_pairs_def}