Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'In_rec_poly_G_i = λ x1 : ι → (ι → ι) → ι . λ x2 x3 . ∀ x4 : ι → ι → ο . (∀ x5 . ∀ x6 : ι → ι . (∀ x7 . In x7 x5 ⟶ x4 x7 (x6 x7)) ⟶ x4 x5 (x1 x5 x6)) ⟶ x4 x2 x3', )

address
TMEsb..^{In_rec_G_i_def}