2_a_lob_a02
Our man in Paris is no 1 aide to Heath.

n2_a_lob_a02 n2_a_lob_a02__1_1_1_1_1 Our n2_a_lob_a02__1_1_2_1 man n2_a_lob_a02__1_1_3_1_1 in n2_a_lob_a02__1_1_3_2_1_1 Paris n2_a_lob_a02__1_2_1 is n2_a_lob_a02__1_3_1_1 no n2_a_lob_a02__1_3_2_1 1 n2_a_lob_a02__1_3_3_1 aide n2_a_lob_a02__1_3_4_1_1 to n2_a_lob_a02__1_3_4_2_1_1 Heath n2_a_lob_a02__1_4_1 . n2_a_lob_a02__1 IP-MAT n2_a_lob_a02__1_1 NP-SBJ n2_a_lob_a02__1->n2_a_lob_a02__1_1 n2_a_lob_a02__1_2 BEP;_Ln_ n2_a_lob_a02__1->n2_a_lob_a02__1_2 n2_a_lob_a02__1_3 NP-PRD n2_a_lob_a02__1->n2_a_lob_a02__1_3 n2_a_lob_a02__1_4 PUNC n2_a_lob_a02__1->n2_a_lob_a02__1_4 n2_a_lob_a02__1_1_1 NP-GEN n2_a_lob_a02__1_1->n2_a_lob_a02__1_1_1 n2_a_lob_a02__1_1_2 N n2_a_lob_a02__1_1->n2_a_lob_a02__1_1_2 n2_a_lob_a02__1_1_3 PP n2_a_lob_a02__1_1->n2_a_lob_a02__1_1_3 n2_a_lob_a02__1_1_1_1 PRO;_genm_ n2_a_lob_a02__1_1_1->n2_a_lob_a02__1_1_1_1 n2_a_lob_a02__1_1_1_1->n2_a_lob_a02__1_1_1_1_1 n2_a_lob_a02__1_1_2->n2_a_lob_a02__1_1_2_1 n2_a_lob_a02__1_1_3_1 P-ROLE n2_a_lob_a02__1_1_3->n2_a_lob_a02__1_1_3_1 n2_a_lob_a02__1_1_3_2 NP n2_a_lob_a02__1_1_3->n2_a_lob_a02__1_1_3_2 n2_a_lob_a02__1_1_3_1->n2_a_lob_a02__1_1_3_1_1 n2_a_lob_a02__1_1_3_2_1 NPR n2_a_lob_a02__1_1_3_2->n2_a_lob_a02__1_1_3_2_1 n2_a_lob_a02__1_1_3_2_1->n2_a_lob_a02__1_1_3_2_1_1 n2_a_lob_a02__1_2->n2_a_lob_a02__1_2_1 n2_a_lob_a02__1_3_1 Q n2_a_lob_a02__1_3->n2_a_lob_a02__1_3_1 n2_a_lob_a02__1_3_2 NUM n2_a_lob_a02__1_3->n2_a_lob_a02__1_3_2 n2_a_lob_a02__1_3_3 N n2_a_lob_a02__1_3->n2_a_lob_a02__1_3_3 n2_a_lob_a02__1_3_4 PP n2_a_lob_a02__1_3->n2_a_lob_a02__1_3_4 n2_a_lob_a02__1_3_1->n2_a_lob_a02__1_3_1_1 n2_a_lob_a02__1_3_2->n2_a_lob_a02__1_3_2_1 n2_a_lob_a02__1_3_3->n2_a_lob_a02__1_3_3_1 n2_a_lob_a02__1_3_4_1 P-ROLE n2_a_lob_a02__1_3_4->n2_a_lob_a02__1_3_4_1 n2_a_lob_a02__1_3_4_2 NP n2_a_lob_a02__1_3_4->n2_a_lob_a02__1_3_4_2 n2_a_lob_a02__1_3_4_1->n2_a_lob_a02__1_3_4_1_1 n2_a_lob_a02__1_3_4_2_1 NPR n2_a_lob_a02__1_3_4_2->n2_a_lob_a02__1_3_4_2_1 n2_a_lob_a02__1_3_4_2_1->n2_a_lob_a02__1_3_4_2_1_1 n2_a_lob_a02__1_4->n2_a_lob_a02__1_4_1
( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Our;{our}))
                  (N man;{man})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Paris;{Paris}))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (Q no;{no})
                  (NUM 1)
                  (N aide;{aide})
                  (PP (P-ROLE to;{to})
                      (NP (NPR Heath;{Heath}))))
          (PUNC .))
  (ID 2_a_lob_a02))



%3 r_0002_0007__1_r_0002_0008__aide 1 aide r_0002_0010__Heath Heath r_0002_0007__1_r_0002_0008__aide->r_0002_0010__Heath to r_0002_0006__no__quant no [quant] r_0002_0006__no__quant->r_0002_0007__1_r_0002_0008__aide [restriction] r_0002_0005__is is r_0002_0006__no__quant->r_0002_0005__is [scope] r_0002_0005__is->r_0002_0007__1_r_0002_0008__aide [prd] r_0002_0002__man man r_0002_0005__is->r_0002_0002__man [arg0] r_0002_0004__Paris Paris r_0002_0002__man->r_0002_0004__Paris in r_0002_0001__Our Our r_0002_0002__man->r_0002_0001__Our [gen]
arc(r_0002_0002__man,r_0002_0001__Our,gen).
arc(r_0002_0002__man,r_0002_0004__Paris,r_0002_0003__in).
arc(r_0002_0005__is,r_0002_0002__man,arg0).
arc(r_0002_0005__is,r_0002_0007__1_r_0002_0008__aide,prd).
arc(r_0002_0006__no__quant,r_0002_0005__is,scope).
arc(r_0002_0006__no__quant,r_0002_0007__1_r_0002_0008__aide,restriction).
arc(r_0002_0007__1_r_0002_0008__aide,r_0002_0010__Heath,r_0002_0009__to).



%3 r_0002_0002__man man r_0002_0001__Our Our r_0002_0002__man->r_0002_0001__Our [gen] r_0002_0004__Paris Paris r_0002_0002__man->r_0002_0004__Paris in r_0002_0005__is is r_0002_0005__is->r_0002_0002__man [arg0] r_0002_0007__1_r_0002_0008__aide 1 aide r_0002_0005__is->r_0002_0007__1_r_0002_0008__aide [prd] r_0002_0010__Heath Heath r_0002_0007__1_r_0002_0008__aide->r_0002_0010__Heath to r_0002_0006__no__quant no [quant] r_0002_0006__no__quant->r_0002_0005__is [scope] r_0002_0006__no__quant->r_0002_0007__1_r_0002_0008__aide [restriction]
fof(formula,axiom,
    ! [R_0002_0007__1_R_0002_0008__AIDE,R_0002_0010__HEATH] :
      ( ( r_0002_0010__Heath(R_0002_0010__HEATH)
        & r_0002_0007__1_r_0002_0008__aide(R_0002_0007__1_R_0002_0008__AIDE)
        & has_r_0002_0009__to(R_0002_0007__1_R_0002_0008__AIDE,R_0002_0010__HEATH) )
     => ? [R_0002_0001__OUR,R_0002_0004__PARIS,R_0002_0002__MAN,R_0002_0005__IS] :
          ( r_0002_0001__Our(R_0002_0001__OUR)
          & r_0002_0004__Paris(R_0002_0004__PARIS)
          & r_0002_0005__is(R_0002_0005__IS)
          & has_prd(R_0002_0005__IS,R_0002_0007__1_R_0002_0008__AIDE)
          & has_arg0(R_0002_0005__IS,R_0002_0002__MAN)
          & r_0002_0002__man(R_0002_0002__MAN)
          & has_r_0002_0003__in(R_0002_0002__MAN,R_0002_0004__PARIS)
          & has_gen(R_0002_0002__MAN,R_0002_0001__OUR) ) ) ).