TSPC 108_a_lob

108_a_lob_n01
The landing was easier than either of them had dared to hope.

arc(r_0108_0003__was, r_0108_0001__The_r_0108_0002__landing, arg0).
arc(r_0108_0003__was, r_0108_0004__easier, prd).
arc(r_0108_0004__easier, r_0108_0006__either_quant, r_0108_0005__than).
arc(r_0108_0006__either_quant, r_0108_0009__had, scope).
arc(r_0108_0006__either_quant, z_000_108_a_lob_n01_16, restriction).
arc(r_0108_0009__had, r_0108_0010__dared, scope).
arc(r_0108_0010__dared, r_0108_0011__to_r_0108_0012__hope, scope).
arc(r_0108_0011__to_r_0108_0012__hope, z_000_108_a_lob_n01_16, arg0).
arc(z_000_108_a_lob_n01_16, r_0108_0008__them, r_0108_0007__of).

fof(formula,axiom,
    ? [R_0108_0001__THE_R_0108_0002__LANDING,R_0108_0004__EASIER,R_0108_0003__WAS] :
      ( r_0108_0001__The_r_0108_0002__landing(R_0108_0001__THE_R_0108_0002__LANDING)
      & r_0108_0003__was(R_0108_0003__WAS)
      & has_prd(R_0108_0003__WAS,R_0108_0004__EASIER)
      & r_0108_0004__easier(R_0108_0004__EASIER)
      & ! [Z_000_108_A_LOB_N01_16,R_0108_0008__THEM] :
          ( ( r_0108_0008__them(R_0108_0008__THEM)
            & z_000_108_a_lob_n01_16(Z_000_108_A_LOB_N01_16)
            & has_r_0108_0007__of(Z_000_108_A_LOB_N01_16,R_0108_0008__THEM) )
         => ? [R_0108_0009__HAD_R_0108_0010__DARED_R_0108_0011__TO_R_0108_0012__HOPE] :
              ( r_0108_0009__had_r_0108_0010__dared_r_0108_0011__to_r_0108_0012__hope(R_0108_0009__HAD_R_0108_0010__DARED_R_0108_0011__TO_R_0108_0012__HOPE)
              & has_arg0(R_0108_0009__HAD_R_0108_0010__DARED_R_0108_0011__TO_R_0108_0012__HOPE,Z_000_108_A_LOB_N01_16) ) )
      & has_arg0(R_0108_0003__WAS,R_0108_0001__THE_R_0108_0002__LANDING) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N landing;{landing}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJR easier;{easy})
                    (PP (P-ROLE than;{than})
                        (IP-ADV (NP-SBJ (Q;_nphd_ either;{either})
                                        (PP (P-ROLE of;{of})
                                            (NP;{ALASTAIR_GEOFFREY} (PRO them;{they}))))
                                (HVD;_cat_Ve_ had;{have})
                                (IP-PPL-CAT (VVN;_cat_Vt_ dared;{dare})
                                            (IP-INF-CAT (TO to;{to})
                                                        (VB;__ hope;{hope}))))))
          (PUNC .))
  (ID 108_a_lob_n01))