32_a_lob_a02
But in his absence his chief lieutenants have not let him down.
arc(r_0032_0001__But_r_0032_0008__have, r_0032_0004__absence, r_0032_0002__in_nim7).
arc(r_0032_0001__But_r_0032_0008__have, r_0032_0009__not, scope).
arc(r_0032_0004__absence, r_0032_0003__his, gen).
arc(r_0032_0007__lieutenants, r_0032_0005__his, gen).
arc(r_0032_0007__lieutenants, r_0032_0006__chief, attrib17).
arc(r_0032_0009__not, r_0032_0010__let_r_0032_0012__down, keep_scope).
arc(r_0032_0010__let_r_0032_0012__down, r_0032_0007__lieutenants, arg0).
arc(r_0032_0010__let_r_0032_0012__down, r_0032_0011__him, arg1).
fof(formula,axiom,
? [R_32_4_ABSENCE,R_32_3_HIS] :
( his(R_32_3_HIS)
& ? [R_32_10_LET_DOWN,R_32_7_LIEUTENANTS,R_32_6_CHIEF,R_32_5_HIS,R_32_11_HIM] :
( chief(R_32_6_CHIEF)
& his(R_32_5_HIS)
& him(R_32_11_HIM)
& let_down(R_32_10_LET_DOWN,R_32_7_LIEUTENANTS,R_32_11_HIM)
& lieutenants(R_32_7_LIEUTENANTS)
& attrib17(R_32_7_LIEUTENANTS,R_32_6_CHIEF)
& gen(R_32_7_LIEUTENANTS,R_32_5_HIS) ) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(PP-NIM (P-ROLE in;{in})
(NP (NP-GEN;{NKRUMAH} (PRO;_genm_ his;{his}))
(N absence;{absence})))
(NP-SBJ (NP-GEN;{NKRUMAH} (PRO;_genm_ his;{his}))
(ADJP (ADJ chief;{chief}))
(NS lieutenants;{lieutenant}))
(HVP;_cat_Ve_ have;{have})
(IP-INF-CAT (NEG not;{not})
(VVN;_phr_Vn<=>p_ let;{let[down]})
(NP-OB1;{NKRUMAH} (PRO him;{he}))
(RP down;{down}))
(PUNC .))
(ID 32_a_lob_a02))