Context                Previous, Next                Top


17_a_genieus
(Luckily, the rival was away at the time.)

%3 r_0017_0006__was was r_0017_0002__Luckily Luckily r_0017_0006__was->r_0017_0002__Luckily [nim] r_0017_0004__the_r_0017_0005__rival the rival r_0017_0006__was->r_0017_0004__the_r_0017_0005__rival [arg0] r_0017_0007__away away r_0017_0006__was->r_0017_0007__away [clr] r_0017_0009__the_r_0017_0010__time the time r_0017_0006__was->r_0017_0009__the_r_0017_0010__time at [nim] 
arc(r_0017_0006__was, r_0017_0002__Luckily, nim4).
arc(r_0017_0006__was, r_0017_0004__the_r_0017_0005__rival, arg0).
arc(r_0017_0006__was, r_0017_0007__away, clr16).
arc(r_0017_0006__was, r_0017_0009__the_r_0017_0010__time, r_0017_0008__at_nim22).


%3 r_0017_0006__was was r_0017_0002__Luckily Luckily r_0017_0006__was->r_0017_0002__Luckily [nim] r_0017_0004__the_r_0017_0005__rival the rival r_0017_0006__was->r_0017_0004__the_r_0017_0005__rival [arg0] r_0017_0007__away away r_0017_0006__was->r_0017_0007__away [clr] r_0017_0009__the_r_0017_0010__time the time r_0017_0006__was->r_0017_0009__the_r_0017_0010__time at [nim] 
fof(formula,axiom,
    ? [R_17_6_WAS,R_17_4_THE_RIVAL,R_17_7_AWAY,R_17_2_LUCKILY,R_17_9_THE_TIME] :
      ( the_rival(R_17_4_THE_RIVAL)
      & away(R_17_7_AWAY)
      & luckily(R_17_2_LUCKILY)
      & the_time(R_17_9_THE_TIME)
      & was(R_17_6_WAS,R_17_4_THE_RIVAL)
      & clr16(R_17_6_WAS,R_17_7_AWAY)
      & nim4(R_17_6_WAS,R_17_2_LUCKILY)
      & at_nim22(R_17_6_WAS,R_17_9_THE_TIME) ) ).


n17_a_genieus n17_a_genieus_3 -LRB- n17_a_genieus_6 Luckily n17_a_genieus_8 , n17_a_genieus_11 the n17_a_genieus_13 rival n17_a_genieus_15 was n17_a_genieus_18 away n17_a_genieus_21 at n17_a_genieus_24 the n17_a_genieus_26 time n17_a_genieus_28 . n17_a_genieus_30 -RRB- n17_a_genieus_1 IP-MAT n17_a_genieus_2 PULB n17_a_genieus_1->n17_a_genieus_2 n17_a_genieus_4 ADVP-NIM n17_a_genieus_1->n17_a_genieus_4 n17_a_genieus_7 PUNC n17_a_genieus_1->n17_a_genieus_7 n17_a_genieus_9 NP-SBJ n17_a_genieus_1->n17_a_genieus_9 n17_a_genieus_14 BED;_Ip_ n17_a_genieus_1->n17_a_genieus_14 n17_a_genieus_16 ADVP-CLR n17_a_genieus_1->n17_a_genieus_16 n17_a_genieus_19 PP-NIM n17_a_genieus_1->n17_a_genieus_19 n17_a_genieus_27 PUNC n17_a_genieus_1->n17_a_genieus_27 n17_a_genieus_29 PURB n17_a_genieus_1->n17_a_genieus_29 n17_a_genieus_2->n17_a_genieus_3 n17_a_genieus_5 ADV n17_a_genieus_4->n17_a_genieus_5 n17_a_genieus_5->n17_a_genieus_6 n17_a_genieus_7->n17_a_genieus_8 n17_a_genieus_10 D n17_a_genieus_9->n17_a_genieus_10 n17_a_genieus_12 N n17_a_genieus_9->n17_a_genieus_12 n17_a_genieus_10->n17_a_genieus_11 n17_a_genieus_12->n17_a_genieus_13 n17_a_genieus_14->n17_a_genieus_15 n17_a_genieus_17 ADV n17_a_genieus_16->n17_a_genieus_17 n17_a_genieus_17->n17_a_genieus_18 n17_a_genieus_20 P-ROLE n17_a_genieus_19->n17_a_genieus_20 n17_a_genieus_22 NP n17_a_genieus_19->n17_a_genieus_22 n17_a_genieus_20->n17_a_genieus_21 n17_a_genieus_23 D n17_a_genieus_22->n17_a_genieus_23 n17_a_genieus_25 N n17_a_genieus_22->n17_a_genieus_25 n17_a_genieus_23->n17_a_genieus_24 n17_a_genieus_25->n17_a_genieus_26 n17_a_genieus_27->n17_a_genieus_28 n17_a_genieus_29->n17_a_genieus_30 
( (IP-MAT (PULB -LRB-)
          (ADVP-NIM (ADV Luckily;{luckily}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N rival;{rival}))
          (BED;_Ip_ was;{be[away]})
          (ADVP-CLR (ADV away;{away}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N time;{time})))
          (PUNC .)
          (PURB -RRB-))
  (ID 17_a_genieus))