Context                Previous, Next                Top


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

%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] 
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_2_7_1_AIDE,R_2_10_HEATH] :
      ( ( heath(R_2_10_HEATH)
        & 1_aide(R_2_7_1_AIDE)
        & to(R_2_7_1_AIDE,R_2_10_HEATH) )
     => ? [R_2_5_IS,R_2_2_MAN,R_2_1_OUR,R_2_4_PARIS] :
          ( our(R_2_1_OUR)
          & paris(R_2_4_PARIS)
          & is(R_2_5_IS,R_2_2_MAN,R_2_7_1_AIDE)
          & man(R_2_2_MAN)
          & gen(R_2_2_MAN,R_2_1_OUR)
          & in(R_2_2_MAN,R_2_4_PARIS) ) ) ).


n2_a_lob_a02 n2_a_lob_a02_5 Our n2_a_lob_a02_7 man n2_a_lob_a02_10 in n2_a_lob_a02_13 Paris n2_a_lob_a02_15 is n2_a_lob_a02_18 no n2_a_lob_a02_20 1 n2_a_lob_a02_22 aide n2_a_lob_a02_25 to n2_a_lob_a02_28 Heath n2_a_lob_a02_30 . n2_a_lob_a02_1 IP-MAT n2_a_lob_a02_2 NP-SBJ n2_a_lob_a02_1->n2_a_lob_a02_2 n2_a_lob_a02_14 BEP;_Ln_ n2_a_lob_a02_1->n2_a_lob_a02_14 n2_a_lob_a02_16 NP-PRD n2_a_lob_a02_1->n2_a_lob_a02_16 n2_a_lob_a02_29 PUNC n2_a_lob_a02_1->n2_a_lob_a02_29 n2_a_lob_a02_3 NP-GEN n2_a_lob_a02_2->n2_a_lob_a02_3 n2_a_lob_a02_6 N n2_a_lob_a02_2->n2_a_lob_a02_6 n2_a_lob_a02_8 PP n2_a_lob_a02_2->n2_a_lob_a02_8 n2_a_lob_a02_4 PRO;_genm_ n2_a_lob_a02_3->n2_a_lob_a02_4 n2_a_lob_a02_4->n2_a_lob_a02_5 n2_a_lob_a02_6->n2_a_lob_a02_7 n2_a_lob_a02_9 P-ROLE n2_a_lob_a02_8->n2_a_lob_a02_9 n2_a_lob_a02_11 NP n2_a_lob_a02_8->n2_a_lob_a02_11 n2_a_lob_a02_9->n2_a_lob_a02_10 n2_a_lob_a02_12 NPR n2_a_lob_a02_11->n2_a_lob_a02_12 n2_a_lob_a02_12->n2_a_lob_a02_13 n2_a_lob_a02_14->n2_a_lob_a02_15 n2_a_lob_a02_17 Q n2_a_lob_a02_16->n2_a_lob_a02_17 n2_a_lob_a02_19 NUM n2_a_lob_a02_16->n2_a_lob_a02_19 n2_a_lob_a02_21 N n2_a_lob_a02_16->n2_a_lob_a02_21 n2_a_lob_a02_23 PP n2_a_lob_a02_16->n2_a_lob_a02_23 n2_a_lob_a02_17->n2_a_lob_a02_18 n2_a_lob_a02_19->n2_a_lob_a02_20 n2_a_lob_a02_21->n2_a_lob_a02_22 n2_a_lob_a02_24 P-ROLE n2_a_lob_a02_23->n2_a_lob_a02_24 n2_a_lob_a02_26 NP n2_a_lob_a02_23->n2_a_lob_a02_26 n2_a_lob_a02_24->n2_a_lob_a02_25 n2_a_lob_a02_27 NPR n2_a_lob_a02_26->n2_a_lob_a02_27 n2_a_lob_a02_27->n2_a_lob_a02_28 n2_a_lob_a02_29->n2_a_lob_a02_30 
( (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))