Context                Previous, Next                Top


2_a_joyce_1914
There was no hope for him this time:

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))


%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_0002__was was r_0002_0003__no__quant->r_0002_0002__was [scope] r_0002_0002__was->r_0002_0004__hope [arg0] r_0002_0007__this_r_0002_0008__time this time r_0002_0002__was->r_0002_0007__this_r_0002_0008__time [nim] r_0002_0006__him him r_0002_0002__was->r_0002_0006__him for [nim] 
arc(r_0002_0002__was,r_0002_0004__hope,arg0).
arc(r_0002_0002__was,r_0002_0006__him,r_0002_0005__for__nim).
arc(r_0002_0002__was,r_0002_0007__this_r_0002_0008__time,nim).
arc(r_0002_0003__no__quant,r_0002_0002__was,scope).
arc(r_0002_0003__no__quant,r_0002_0004__hope,restriction).


%3 r_0002_0002__was was r_0002_0004__hope hope r_0002_0002__was->r_0002_0004__hope [arg0] r_0002_0006__him him r_0002_0002__was->r_0002_0006__him for [nim] r_0002_0007__this_r_0002_0008__time this time 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_0002__was [scope] r_0002_0003__no__quant->r_0002_0004__hope [restriction] 
fof(formula,axiom,
    ! [R_0002_0004__HOPE] :
      ( r_0002_0004__hope(R_0002_0004__HOPE)
     => ? [R_0002_0006__HIM,R_0002_0007__THIS_R_0002_0008__TIME,R_0002_0002__WAS] :
          ( r_0002_0006__him(R_0002_0006__HIM)
          & r_0002_0007__this_r_0002_0008__time(R_0002_0007__THIS_R_0002_0008__TIME)
          & r_0002_0002__was(R_0002_0002__WAS)
          & has_nim(R_0002_0002__WAS,R_0002_0007__THIS_R_0002_0008__TIME)
          & has_r_0002_0005__for__nim(R_0002_0002__WAS,R_0002_0006__HIM)
          & has_arg0(R_0002_0002__WAS,R_0002_0004__HOPE) ) ) ).