Context                Previous, Next                Top


25_a_joyce_1914
“Mr. Cotter there has just told us.

%3 r_0025_0005__has has r_0025_0004__there there r_0025_0005__has->r_0025_0004__there [nim] r_0025_0007__told told r_0025_0005__has->r_0025_0007__told [scope] r_0025_0002__Mr_dot__r_0025_0003__Cotter Mr. Cotter r_0025_0007__told->r_0025_0002__Mr_dot__r_0025_0003__Cotter [arg0] r_0025_0006__just just r_0025_0007__told->r_0025_0006__just [nim] r_0025_0008__us us r_0025_0007__told->r_0025_0008__us [arg2] r_0025_1001____star__ * r_0025_0007__told->r_0025_1001____star__ [arg1] 
arc(r_0025_0005__has, r_0025_0004__there, nim9).
arc(r_0025_0005__has, r_0025_0007__told, scope).
arc(r_0025_0007__told, r_0025_0002__Mr_dot__r_0025_0003__Cotter, arg0).
arc(r_0025_0007__told, r_0025_0006__just, nim15).
arc(r_0025_0007__told, r_0025_0008__us, arg2).
arc(r_0025_0007__told, r_0025_1001____star__, arg1).


%3 r_0025_0005__has_r_0025_0007__told has told r_0025_1001____star__ * r_0025_0005__has_r_0025_0007__told->r_0025_1001____star__ [arg1] r_0025_0008__us us r_0025_0005__has_r_0025_0007__told->r_0025_0008__us [arg2] r_0025_0006__just just r_0025_0005__has_r_0025_0007__told->r_0025_0006__just [nim] r_0025_0002__Mr_dot__r_0025_0003__Cotter Mr. Cotter r_0025_0005__has_r_0025_0007__told->r_0025_0002__Mr_dot__r_0025_0003__Cotter [arg0] r_0025_0004__there there r_0025_0005__has_r_0025_0007__told->r_0025_0004__there [nim] 
fof(formula,axiom,
    ? [R_25_5_HAS_TOLD,R_25_2_MR_DOT_COTTER,R_25_1001__STAR_,R_25_8_US,R_25_6_JUST,R_25_4_THERE] :
      ( mr_dot_Cotter(R_25_2_MR_DOT_COTTER)
      & _star_(R_25_1001__STAR_)
      & us(R_25_8_US)
      & just(R_25_6_JUST)
      & there(R_25_4_THERE)
      & has_told(R_25_5_HAS_TOLD,R_25_2_MR_DOT_COTTER,R_25_1001__STAR_,R_25_8_US)
      & nim15(R_25_5_HAS_TOLD,R_25_6_JUST)
      & nim9(R_25_5_HAS_TOLD,R_25_4_THERE) ) ).


n25_a_joyce_1914 n25_a_joyce_1914__1_1_1 <ldquo> n25_a_joyce_1914__1_2_1_1 Mr. n25_a_joyce_1914__1_2_2_1 Cotter n25_a_joyce_1914__1_3_1_1 there n25_a_joyce_1914__1_4_1 has n25_a_joyce_1914__1_5_1_1_1 just n25_a_joyce_1914__1_5_2_1 told n25_a_joyce_1914__1_5_3_1_1 us n25_a_joyce_1914__1_5_4_1_1 _*_ n25_a_joyce_1914__1_6_1 . n25_a_joyce_1914__1 IP-MAT n25_a_joyce_1914__1_1 PULQ n25_a_joyce_1914__1->n25_a_joyce_1914__1_1 n25_a_joyce_1914__1_2 NP-SBJ n25_a_joyce_1914__1->n25_a_joyce_1914__1_2 n25_a_joyce_1914__1_3 ADVP-NIM n25_a_joyce_1914__1->n25_a_joyce_1914__1_3 n25_a_joyce_1914__1_4 HVP;_cat_Ve_ n25_a_joyce_1914__1->n25_a_joyce_1914__1_4 n25_a_joyce_1914__1_5 IP-PPL-CAT n25_a_joyce_1914__1->n25_a_joyce_1914__1_5 n25_a_joyce_1914__1_6 PUNC n25_a_joyce_1914__1->n25_a_joyce_1914__1_6 n25_a_joyce_1914__1_1->n25_a_joyce_1914__1_1_1 n25_a_joyce_1914__1_2_1 N n25_a_joyce_1914__1_2->n25_a_joyce_1914__1_2_1 n25_a_joyce_1914__1_2_2 NPR n25_a_joyce_1914__1_2->n25_a_joyce_1914__1_2_2 n25_a_joyce_1914__1_2_1->n25_a_joyce_1914__1_2_1_1 n25_a_joyce_1914__1_2_2->n25_a_joyce_1914__1_2_2_1 n25_a_joyce_1914__1_3_1 ADV n25_a_joyce_1914__1_3->n25_a_joyce_1914__1_3_1 n25_a_joyce_1914__1_3_1->n25_a_joyce_1914__1_3_1_1 n25_a_joyce_1914__1_4->n25_a_joyce_1914__1_4_1 n25_a_joyce_1914__1_5_1 ADVP-NIM n25_a_joyce_1914__1_5->n25_a_joyce_1914__1_5_1 n25_a_joyce_1914__1_5_2 VVN;_Dn.*_ n25_a_joyce_1914__1_5->n25_a_joyce_1914__1_5_2 n25_a_joyce_1914__1_5_3 NP-OB2 n25_a_joyce_1914__1_5->n25_a_joyce_1914__1_5_3 n25_a_joyce_1914__1_5_4 NP-OB1 n25_a_joyce_1914__1_5->n25_a_joyce_1914__1_5_4 n25_a_joyce_1914__1_5_1_1 ADV n25_a_joyce_1914__1_5_1->n25_a_joyce_1914__1_5_1_1 n25_a_joyce_1914__1_5_1_1->n25_a_joyce_1914__1_5_1_1_1 n25_a_joyce_1914__1_5_2->n25_a_joyce_1914__1_5_2_1 n25_a_joyce_1914__1_5_3_1 PRO n25_a_joyce_1914__1_5_3->n25_a_joyce_1914__1_5_3_1 n25_a_joyce_1914__1_5_3_1->n25_a_joyce_1914__1_5_3_1_1 n25_a_joyce_1914__1_5_4_1 N n25_a_joyce_1914__1_5_4->n25_a_joyce_1914__1_5_4_1 n25_a_joyce_1914__1_5_4_1->n25_a_joyce_1914__1_5_4_1_1 n25_a_joyce_1914__1_6->n25_a_joyce_1914__1_6_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{COTTER} (N Mr<dot>)
                           (NPR Cotter;{Cotter}))
          (ADVP-NIM (ADV there;{there}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
                      (VVN;_Dn.*_ told;{tell})
                      (NP-OB2;{SPEAKER_AUNT_UNCLE} (PRO us;{we}))
                      (NP-OB1 (N _*_)))
          (PUNC .))
  (ID 25_a_joyce_1914))