hf term |
---|
(object) array(
'type' => 'termroot',
'hfbuiltin' => true,
'trmpres' => 'PNo_downc = λ x1 : ι → (ι → ο) → ο . λ x2 . λ x3 : ι → ο . ∀ x4 : ο . (∀ x5 . and (ordinal x5) (∀ x6 : ο . (∀ x7 : ι → ο . and (x1 x5 x7) (PNoLe x2 x3 x5 x7) ⟶ x6) ⟶ x6) ⟶ x4) ⟶ x4',
) |
|