( (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 16_a_genieus))

arc(r_0016_0006__was_r_0016_0007__away,r_0016_0002__Luckily,nim).
arc(r_0016_0006__was_r_0016_0007__away,r_0016_0004__the_r_0016_0005__rival,arg0).
arc(r_0016_0006__was_r_0016_0007__away,r_0016_0009__the_r_0016_0010__time,r_0016_0008__at__nim).

fof(formula,axiom,
    ? [R_0016_0002__LUCKILY,R_0016_0004__THE_R_0016_0005__RIVAL,R_0016_0009__THE_R_0016_0010__TIME,R_0016_0006__WAS_R_0016_0007__AWAY] :
      ( r_0016_0002__Luckily(R_0016_0002__LUCKILY)
      & r_0016_0004__the_r_0016_0005__rival(R_0016_0004__THE_R_0016_0005__RIVAL)
      & r_0016_0009__the_r_0016_0010__time(R_0016_0009__THE_R_0016_0010__TIME)
      & r_0016_0006__was_r_0016_0007__away(R_0016_0006__WAS_R_0016_0007__AWAY)
      & has_r_0016_0008__at__nim(R_0016_0006__WAS_R_0016_0007__AWAY,R_0016_0009__THE_R_0016_0010__TIME)
      & has_arg0(R_0016_0006__WAS_R_0016_0007__AWAY,R_0016_0004__THE_R_0016_0005__RIVAL)
      & has_nim(R_0016_0006__WAS_R_0016_0007__AWAY,R_0016_0002__LUCKILY) ) ).