Context                Previous, Next                Top


2_a_joyce_1914
There was no hope for him this time:

%3 r_0002_0001__There_r_0002_0002__was There was r_0002_0004__hope hope r_0002_0001__There_r_0002_0002__was->r_0002_0004__hope [arg0] r_0002_0006__him him r_0002_0001__There_r_0002_0002__was->r_0002_0006__him for [nim] r_0002_0007__this_r_0002_0008__time this time r_0002_0001__There_r_0002_0002__was->r_0002_0007__this_r_0002_0008__time [nim] r_0002_0003__no_quant no [quant] r_0002_0003__no_quant->r_0002_0001__There_r_0002_0002__was [scope] r_0002_0003__no_quant->r_0002_0004__hope [restriction] 
arc(r_0002_0001__There_r_0002_0002__was, r_0002_0004__hope, arg0).
arc(r_0002_0001__There_r_0002_0002__was, r_0002_0006__him, r_0002_0005__for_nim14).
arc(r_0002_0001__There_r_0002_0002__was, r_0002_0007__this_r_0002_0008__time, nim17).
arc(r_0002_0003__no_quant, r_0002_0001__There_r_0002_0002__was, scope).
arc(r_0002_0003__no_quant, r_0002_0004__hope, restriction).


%3 r_0002_0003__no_quant no [quant] r_0002_0004__hope hope r_0002_0003__no_quant->r_0002_0004__hope [restriction] r_0002_0001__There_r_0002_0002__was There was r_0002_0003__no_quant->r_0002_0001__There_r_0002_0002__was [scope] r_0002_0001__There_r_0002_0002__was->r_0002_0004__hope [arg0] r_0002_0007__this_r_0002_0008__time this time r_0002_0001__There_r_0002_0002__was->r_0002_0007__this_r_0002_0008__time [nim] r_0002_0006__him him r_0002_0001__There_r_0002_0002__was->r_0002_0006__him for [nim] 
fof(formula,axiom,
    ! [R_2_4_HOPE] :
      ( hope(R_2_4_HOPE)
     => ? [R_2_1_THERE_WAS,R_2_7_THIS_TIME,R_2_6_HIM] :
          ( this_time(R_2_7_THIS_TIME)
          & him(R_2_6_HIM)
          & there_was(R_2_1_THERE_WAS,R_2_4_HOPE)
          & nim17(R_2_1_THERE_WAS,R_2_7_THIS_TIME)
          & for_nim14(R_2_1_THERE_WAS,R_2_6_HIM) ) ) ).


n2_a_joyce_1914 n2_a_joyce_1914__1_1_1 There n2_a_joyce_1914__1_2_1 was n2_a_joyce_1914__1_3_1_1 no n2_a_joyce_1914__1_3_2_1 hope n2_a_joyce_1914__1_4_1_1 for n2_a_joyce_1914__1_4_2_1_1 him n2_a_joyce_1914__1_5_1_1 this n2_a_joyce_1914__1_5_2_1 time n2_a_joyce_1914__1_6_1 : n2_a_joyce_1914__1 IP-MAT n2_a_joyce_1914__1_1 EX n2_a_joyce_1914__1->n2_a_joyce_1914__1_1 n2_a_joyce_1914__1_2 BED;_ex_V_ n2_a_joyce_1914__1->n2_a_joyce_1914__1_2 n2_a_joyce_1914__1_3 NP-ESBJ n2_a_joyce_1914__1->n2_a_joyce_1914__1_3 n2_a_joyce_1914__1_4 PP-NIM n2_a_joyce_1914__1->n2_a_joyce_1914__1_4 n2_a_joyce_1914__1_5 NP-NIM n2_a_joyce_1914__1->n2_a_joyce_1914__1_5 n2_a_joyce_1914__1_6 PUNC n2_a_joyce_1914__1->n2_a_joyce_1914__1_6 n2_a_joyce_1914__1_1->n2_a_joyce_1914__1_1_1 n2_a_joyce_1914__1_2->n2_a_joyce_1914__1_2_1 n2_a_joyce_1914__1_3_1 Q n2_a_joyce_1914__1_3->n2_a_joyce_1914__1_3_1 n2_a_joyce_1914__1_3_2 N n2_a_joyce_1914__1_3->n2_a_joyce_1914__1_3_2 n2_a_joyce_1914__1_3_1->n2_a_joyce_1914__1_3_1_1 n2_a_joyce_1914__1_3_2->n2_a_joyce_1914__1_3_2_1 n2_a_joyce_1914__1_4_1 P-ROLE n2_a_joyce_1914__1_4->n2_a_joyce_1914__1_4_1 n2_a_joyce_1914__1_4_2 NP n2_a_joyce_1914__1_4->n2_a_joyce_1914__1_4_2 n2_a_joyce_1914__1_4_1->n2_a_joyce_1914__1_4_1_1 n2_a_joyce_1914__1_4_2_1 PRO n2_a_joyce_1914__1_4_2->n2_a_joyce_1914__1_4_2_1 n2_a_joyce_1914__1_4_2_1->n2_a_joyce_1914__1_4_2_1_1 n2_a_joyce_1914__1_5_1 D n2_a_joyce_1914__1_5->n2_a_joyce_1914__1_5_1 n2_a_joyce_1914__1_5_2 N n2_a_joyce_1914__1_5->n2_a_joyce_1914__1_5_2 n2_a_joyce_1914__1_5_1->n2_a_joyce_1914__1_5_1_1 n2_a_joyce_1914__1_5_2->n2_a_joyce_1914__1_5_2_1 n2_a_joyce_1914__1_6->n2_a_joyce_1914__1_6_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_V_ was;{be})
          (NP-ESBJ (Q no;{no})
                   (N hope;{hope}))
          (PP-NIM (P-ROLE for;{for})
                  (NP;{PRIEST} (PRO him;{he})))
          (NP-NIM (D this;{this})
                  (N time;{time}))
          (PUNC :))
  (ID 2_a_joyce_1914))