Context                Previous, Next                Top


32_a_lob_a02
But in his absence his chief lieutenants have not let him down.

%3 r_0032_0001__But_r_0032_0008__have But have r_0032_0004__absence absence r_0032_0001__But_r_0032_0008__have->r_0032_0004__absence in [nim] r_0032_0009__not_r_0032_0010__let_r_0032_0012__down not let down r_0032_0001__But_r_0032_0008__have->r_0032_0009__not_r_0032_0010__let_r_0032_0012__down [scope] r_0032_0003__his his r_0032_0004__absence->r_0032_0003__his [gen] r_0032_0007__lieutenants lieutenants r_0032_0009__not_r_0032_0010__let_r_0032_0012__down->r_0032_0007__lieutenants [arg0] r_0032_0011__him him r_0032_0009__not_r_0032_0010__let_r_0032_0012__down->r_0032_0011__him [arg1] r_0032_0005__his his r_0032_0007__lieutenants->r_0032_0005__his [gen] r_0032_0006__chief chief r_0032_0007__lieutenants->r_0032_0006__chief [attrib] 
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_r_0032_0010__let_r_0032_0012__down, 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, r_0032_0007__lieutenants, arg0).
arc(r_0032_0009__not_r_0032_0010__let_r_0032_0012__down, r_0032_0011__him, arg1).


%3 r_0032_0001__But_r_0032_0008__have_r_0032_0009__not_r_0032_0010__let_r_0032_0012__down But have not let down r_0032_0011__him him r_0032_0001__But_r_0032_0008__have_r_0032_0009__not_r_0032_0010__let_r_0032_0012__down->r_0032_0011__him [arg1] r_0032_0007__lieutenants lieutenants r_0032_0001__But_r_0032_0008__have_r_0032_0009__not_r_0032_0010__let_r_0032_0012__down->r_0032_0007__lieutenants [arg0] r_0032_0004__absence absence r_0032_0001__But_r_0032_0008__have_r_0032_0009__not_r_0032_0010__let_r_0032_0012__down->r_0032_0004__absence in [nim] r_0032_0006__chief chief r_0032_0007__lieutenants->r_0032_0006__chief [attrib] r_0032_0005__his his r_0032_0007__lieutenants->r_0032_0005__his [gen] r_0032_0003__his his r_0032_0004__absence->r_0032_0003__his [gen] 
fof(formula,axiom,
    ? [R_0032_0003__HIS,R_0032_0004__ABSENCE,R_0032_0005__HIS,R_0032_0006__CHIEF,R_0032_0007__LIEUTENANTS,R_0032_0011__HIM,R_0032_0001__BUT_R_0032_0008__HAVE_R_0032_0009__NOT_R_0032_0010__LET_R_0032_0012__DOWN] :
      ( r_0032_0003__his(R_0032_0003__HIS)
      & r_0032_0005__his(R_0032_0005__HIS)
      & r_0032_0006__chief(R_0032_0006__CHIEF)
      & r_0032_0011__him(R_0032_0011__HIM)
      & ~ ( has_arg1(R_0032_0001__BUT_R_0032_0008__HAVE_R_0032_0009__NOT_R_0032_0010__LET_R_0032_0012__DOWN,R_0032_0011__HIM)
          & has_arg0(R_0032_0001__BUT_R_0032_0008__HAVE_R_0032_0009__NOT_R_0032_0010__LET_R_0032_0012__DOWN,R_0032_0007__LIEUTENANTS)
          & r_0032_0007__lieutenants(R_0032_0007__LIEUTENANTS)
          & has_attrib17(R_0032_0007__LIEUTENANTS,R_0032_0006__CHIEF)
          & has_gen(R_0032_0007__LIEUTENANTS,R_0032_0005__HIS)
          & has_r_0032_0002__in_nim7(R_0032_0001__BUT_R_0032_0008__HAVE_R_0032_0009__NOT_R_0032_0010__LET_R_0032_0012__DOWN,R_0032_0004__ABSENCE)
          & r_0032_0004__absence(R_0032_0004__ABSENCE)
          & has_gen(R_0032_0004__ABSENCE,R_0032_0003__HIS) ) ) ).


n32_a_lob_a02 n32_a_lob_a02__1_1_1 But n32_a_lob_a02__1_2_1_1 in n32_a_lob_a02__1_2_2_1_1_1 his n32_a_lob_a02__1_2_2_2_1 absence n32_a_lob_a02__1_3_1_1_1 his n32_a_lob_a02__1_3_2_1_1 chief n32_a_lob_a02__1_3_3_1 lieutenants n32_a_lob_a02__1_4_1 have n32_a_lob_a02__1_5_1_1 not n32_a_lob_a02__1_5_2_1 let n32_a_lob_a02__1_5_3_1_1 him n32_a_lob_a02__1_5_4_1 down n32_a_lob_a02__1_6_1 . n32_a_lob_a02__1 IP-MAT n32_a_lob_a02__1_1 CONJ;_cl_ n32_a_lob_a02__1->n32_a_lob_a02__1_1 n32_a_lob_a02__1_2 PP-NIM n32_a_lob_a02__1->n32_a_lob_a02__1_2 n32_a_lob_a02__1_3 NP-SBJ n32_a_lob_a02__1->n32_a_lob_a02__1_3 n32_a_lob_a02__1_4 HVP;_cat_Ve_ n32_a_lob_a02__1->n32_a_lob_a02__1_4 n32_a_lob_a02__1_5 IP-INF-CAT n32_a_lob_a02__1->n32_a_lob_a02__1_5 n32_a_lob_a02__1_6 PUNC n32_a_lob_a02__1->n32_a_lob_a02__1_6 n32_a_lob_a02__1_1->n32_a_lob_a02__1_1_1 n32_a_lob_a02__1_2_1 P-ROLE n32_a_lob_a02__1_2->n32_a_lob_a02__1_2_1 n32_a_lob_a02__1_2_2 NP n32_a_lob_a02__1_2->n32_a_lob_a02__1_2_2 n32_a_lob_a02__1_2_1->n32_a_lob_a02__1_2_1_1 n32_a_lob_a02__1_2_2_1 NP-GEN n32_a_lob_a02__1_2_2->n32_a_lob_a02__1_2_2_1 n32_a_lob_a02__1_2_2_2 N n32_a_lob_a02__1_2_2->n32_a_lob_a02__1_2_2_2 n32_a_lob_a02__1_2_2_1_1 PRO;_genm_ n32_a_lob_a02__1_2_2_1->n32_a_lob_a02__1_2_2_1_1 n32_a_lob_a02__1_2_2_1_1->n32_a_lob_a02__1_2_2_1_1_1 n32_a_lob_a02__1_2_2_2->n32_a_lob_a02__1_2_2_2_1 n32_a_lob_a02__1_3_1 NP-GEN n32_a_lob_a02__1_3->n32_a_lob_a02__1_3_1 n32_a_lob_a02__1_3_2 ADJP n32_a_lob_a02__1_3->n32_a_lob_a02__1_3_2 n32_a_lob_a02__1_3_3 NS n32_a_lob_a02__1_3->n32_a_lob_a02__1_3_3 n32_a_lob_a02__1_3_1_1 PRO;_genm_ n32_a_lob_a02__1_3_1->n32_a_lob_a02__1_3_1_1 n32_a_lob_a02__1_3_1_1->n32_a_lob_a02__1_3_1_1_1 n32_a_lob_a02__1_3_2_1 ADJ n32_a_lob_a02__1_3_2->n32_a_lob_a02__1_3_2_1 n32_a_lob_a02__1_3_2_1->n32_a_lob_a02__1_3_2_1_1 n32_a_lob_a02__1_3_3->n32_a_lob_a02__1_3_3_1 n32_a_lob_a02__1_4->n32_a_lob_a02__1_4_1 n32_a_lob_a02__1_5_1 NEG n32_a_lob_a02__1_5->n32_a_lob_a02__1_5_1 n32_a_lob_a02__1_5_2 VVN;_phr_Vn<=>p_ n32_a_lob_a02__1_5->n32_a_lob_a02__1_5_2 n32_a_lob_a02__1_5_3 NP-OB1 n32_a_lob_a02__1_5->n32_a_lob_a02__1_5_3 n32_a_lob_a02__1_5_4 RP n32_a_lob_a02__1_5->n32_a_lob_a02__1_5_4 n32_a_lob_a02__1_5_1->n32_a_lob_a02__1_5_1_1 n32_a_lob_a02__1_5_2->n32_a_lob_a02__1_5_2_1 n32_a_lob_a02__1_5_3_1 PRO n32_a_lob_a02__1_5_3->n32_a_lob_a02__1_5_3_1 n32_a_lob_a02__1_5_3_1->n32_a_lob_a02__1_5_3_1_1 n32_a_lob_a02__1_5_4->n32_a_lob_a02__1_5_4_1 n32_a_lob_a02__1_6->n32_a_lob_a02__1_6_1 
( (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))