32_a_lob_a02
But in his absence his chief lieutenants have not let him down.
( (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))
arc(r_0032_0004__absence,r_0032_0003__his,gen).
arc(r_0032_0007__lieutenants,r_0032_0003__his,gen).
arc(r_0032_0007__lieutenants,r_0032_0006__chief,attrib).
arc(r_0032_0008__have,r_0032_0004__absence,r_0032_0002__in__nim).
arc(r_0032_0008__have,r_0032_0009__not,scope).
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_0003__his,arg1).
arc(r_0032_0010__let_r_0032_0012__down,r_0032_0007__lieutenants,arg0).
fof(formula,axiom,
? [R_0032_0003__HIS,R_0032_0004__ABSENCE,R_0032_0006__CHIEF,R_0032_0007__LIEUTENANTS,R_0032_0010__LET_R_0032_0012__DOWN] :
( r_0032_0003__his(R_0032_0003__HIS)
& r_0032_0006__chief(R_0032_0006__CHIEF)
& ~ ( has_keep_scope(R_0032_0008__HAVE_R_0032_0009__NOT,R_0032_0010__LET_R_0032_0012__DOWN)
& r_0032_0010__let_r_0032_0012__down(R_0032_0010__LET_R_0032_0012__DOWN)
& has_arg0(R_0032_0010__LET_R_0032_0012__DOWN,R_0032_0007__LIEUTENANTS)
& r_0032_0007__lieutenants(R_0032_0007__LIEUTENANTS)
& has_attrib(R_0032_0007__LIEUTENANTS,R_0032_0006__CHIEF)
& has_gen(R_0032_0007__LIEUTENANTS,R_0032_0003__HIS)
& has_arg1(R_0032_0010__LET_R_0032_0012__DOWN,R_0032_0003__HIS)
& has_r_0032_0002__in__nim(R_0032_0008__HAVE_R_0032_0009__NOT,R_0032_0004__ABSENCE)
& r_0032_0004__absence(R_0032_0004__ABSENCE)
& has_gen(R_0032_0004__ABSENCE,R_0032_0003__HIS) ) ) ).