23_a_fce_0102_2001_03
THE TRIP OF A LIFETIME
arc(r_0023_0001__THE_r_0023_0002__TRIP, r_0023_0004__A_r_0023_0005__LIFETIME, r_0023_0003__OF).
arc(z_000_23_a_fce_0102_2001_03_1, r_0023_0001__THE_r_0023_0002__TRIP, nim2).
fof(formula,axiom,
? [Z_23_A_FCE_102_2001_3_1,R_23_1_THE_TRIP,R_23_4_A_LIFETIME] :
( a_LIFETIME(R_23_4_A_LIFETIME)
& z_23_a_fce_102_2001_3_1(Z_23_A_FCE_102_2001_3_1)
& nim2(Z_23_A_FCE_102_2001_3_1,R_23_1_THE_TRIP)
& tHE_TRIP(R_23_1_THE_TRIP)
& oF(R_23_1_THE_TRIP,R_23_4_A_LIFETIME) ) ).
( (FRAG (NP (D THE;{the})
(N TRIP;{trip})
(PP (P-ROLE OF;{of})
(NP (D A;{a})
(N LIFETIME;{lifetime})))))
(ID 23_a_fce_0102_2001_03))