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_108_3_WAS,R_108_1_THE_LANDING,R_108_4_EASIER] :
( the_landing(R_108_1_THE_LANDING)
& was(R_108_3_WAS,R_108_1_THE_LANDING,R_108_4_EASIER)
& ! [Z_108_A_LOB_N01_16,R_108_8_THEM] :
( ( them(R_108_8_THEM)
& z_108_a_lob_n01_16(Z_108_A_LOB_N01_16)
& of(Z_108_A_LOB_N01_16,R_108_8_THEM) )
=> ? [R_108_9_HAD_DARED_TO_HOPE] : had_dared_to_hope(R_108_9_HAD_DARED_TO_HOPE,Z_108_A_LOB_N01_16) )
& than(R_108_5_THAN)
& easier(R_108_4_EASIER) ) ).
( (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))