17_a_genieus
(Luckily, the rival was away at the time.)
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).
fof(formula,axiom,
? [R_0017_0002__LUCKILY,R_0017_0004__THE_R_0017_0005__RIVAL,R_0017_0007__AWAY,R_0017_0009__THE_R_0017_0010__TIME,R_0017_0006__WAS] :
( r_0017_0002__Luckily(R_0017_0002__LUCKILY)
& r_0017_0004__the_r_0017_0005__rival(R_0017_0004__THE_R_0017_0005__RIVAL)
& r_0017_0007__away(R_0017_0007__AWAY)
& r_0017_0009__the_r_0017_0010__time(R_0017_0009__THE_R_0017_0010__TIME)
& r_0017_0006__was(R_0017_0006__WAS)
& has_r_0017_0008__at_nim22(R_0017_0006__WAS,R_0017_0009__THE_R_0017_0010__TIME)
& has_clr16(R_0017_0006__WAS,R_0017_0007__AWAY)
& has_arg0(R_0017_0006__WAS,R_0017_0004__THE_R_0017_0005__RIVAL)
& has_nim4(R_0017_0006__WAS,R_0017_0002__LUCKILY) ) ).
( (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))