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_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] 
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_3 There n2_a_joyce_1914_5 was n2_a_joyce_1914_8 no n2_a_joyce_1914_10 hope n2_a_joyce_1914_13 for n2_a_joyce_1914_16 him n2_a_joyce_1914_19 this n2_a_joyce_1914_21 time n2_a_joyce_1914_23 : n2_a_joyce_1914_1 IP-MAT n2_a_joyce_1914_2 EX n2_a_joyce_1914_1->n2_a_joyce_1914_2 n2_a_joyce_1914_4 BED;_ex_V_ n2_a_joyce_1914_1->n2_a_joyce_1914_4 n2_a_joyce_1914_6 NP-ESBJ n2_a_joyce_1914_1->n2_a_joyce_1914_6 n2_a_joyce_1914_11 PP-NIM n2_a_joyce_1914_1->n2_a_joyce_1914_11 n2_a_joyce_1914_17 NP-NIM n2_a_joyce_1914_1->n2_a_joyce_1914_17 n2_a_joyce_1914_22 PUNC n2_a_joyce_1914_1->n2_a_joyce_1914_22 n2_a_joyce_1914_2->n2_a_joyce_1914_3 n2_a_joyce_1914_4->n2_a_joyce_1914_5 n2_a_joyce_1914_7 Q n2_a_joyce_1914_6->n2_a_joyce_1914_7 n2_a_joyce_1914_9 N n2_a_joyce_1914_6->n2_a_joyce_1914_9 n2_a_joyce_1914_7->n2_a_joyce_1914_8 n2_a_joyce_1914_9->n2_a_joyce_1914_10 n2_a_joyce_1914_12 P-ROLE n2_a_joyce_1914_11->n2_a_joyce_1914_12 n2_a_joyce_1914_14 NP n2_a_joyce_1914_11->n2_a_joyce_1914_14 n2_a_joyce_1914_12->n2_a_joyce_1914_13 n2_a_joyce_1914_15 PRO n2_a_joyce_1914_14->n2_a_joyce_1914_15 n2_a_joyce_1914_15->n2_a_joyce_1914_16 n2_a_joyce_1914_18 D n2_a_joyce_1914_17->n2_a_joyce_1914_18 n2_a_joyce_1914_20 N n2_a_joyce_1914_17->n2_a_joyce_1914_20 n2_a_joyce_1914_18->n2_a_joyce_1914_19 n2_a_joyce_1914_20->n2_a_joyce_1914_21 n2_a_joyce_1914_22->n2_a_joyce_1914_23 
( (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))