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_0009__the_r_0017_0010__time the time r_0017_0006__was->r_0017_0009__the_r_0017_0010__time at [nim] r_0017_0007__away away r_0017_0006__was->r_0017_0007__away [clr] 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_0002__Luckily Luckily r_0017_0006__was->r_0017_0002__Luckily [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__1_1_1 -LRB- n17_a_genieus__1_2_1_1 Luckily n17_a_genieus__1_3_1 , n17_a_genieus__1_4_1_1 the n17_a_genieus__1_4_2_1 rival n17_a_genieus__1_5_1 was n17_a_genieus__1_6_1_1 away n17_a_genieus__1_7_1_1 at n17_a_genieus__1_7_2_1_1 the n17_a_genieus__1_7_2_2_1 time n17_a_genieus__1_8_1 . n17_a_genieus__1_9_1 -RRB- n17_a_genieus__1 IP-MAT n17_a_genieus__1_1 PULB n17_a_genieus__1->n17_a_genieus__1_1 n17_a_genieus__1_2 ADVP-NIM n17_a_genieus__1->n17_a_genieus__1_2 n17_a_genieus__1_3 PUNC n17_a_genieus__1->n17_a_genieus__1_3 n17_a_genieus__1_4 NP-SBJ n17_a_genieus__1->n17_a_genieus__1_4 n17_a_genieus__1_5 BED;_Ip_ n17_a_genieus__1->n17_a_genieus__1_5 n17_a_genieus__1_6 ADVP-CLR n17_a_genieus__1->n17_a_genieus__1_6 n17_a_genieus__1_7 PP-NIM n17_a_genieus__1->n17_a_genieus__1_7 n17_a_genieus__1_8 PUNC n17_a_genieus__1->n17_a_genieus__1_8 n17_a_genieus__1_9 PURB n17_a_genieus__1->n17_a_genieus__1_9 n17_a_genieus__1_1->n17_a_genieus__1_1_1 n17_a_genieus__1_2_1 ADV n17_a_genieus__1_2->n17_a_genieus__1_2_1 n17_a_genieus__1_2_1->n17_a_genieus__1_2_1_1 n17_a_genieus__1_3->n17_a_genieus__1_3_1 n17_a_genieus__1_4_1 D n17_a_genieus__1_4->n17_a_genieus__1_4_1 n17_a_genieus__1_4_2 N n17_a_genieus__1_4->n17_a_genieus__1_4_2 n17_a_genieus__1_4_1->n17_a_genieus__1_4_1_1 n17_a_genieus__1_4_2->n17_a_genieus__1_4_2_1 n17_a_genieus__1_5->n17_a_genieus__1_5_1 n17_a_genieus__1_6_1 ADV n17_a_genieus__1_6->n17_a_genieus__1_6_1 n17_a_genieus__1_6_1->n17_a_genieus__1_6_1_1 n17_a_genieus__1_7_1 P-ROLE n17_a_genieus__1_7->n17_a_genieus__1_7_1 n17_a_genieus__1_7_2 NP n17_a_genieus__1_7->n17_a_genieus__1_7_2 n17_a_genieus__1_7_1->n17_a_genieus__1_7_1_1 n17_a_genieus__1_7_2_1 D n17_a_genieus__1_7_2->n17_a_genieus__1_7_2_1 n17_a_genieus__1_7_2_2 N n17_a_genieus__1_7_2->n17_a_genieus__1_7_2_2 n17_a_genieus__1_7_2_1->n17_a_genieus__1_7_2_1_1 n17_a_genieus__1_7_2_2->n17_a_genieus__1_7_2_2_1 n17_a_genieus__1_8->n17_a_genieus__1_8_1 n17_a_genieus__1_9->n17_a_genieus__1_9_1 
( (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))