( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ know;{know})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (VBD;_Ipr_ went;{go[on]})
                              (PP-CLR (P-ROLE on;{on})
                                      (NP;{RIVER_TRIP} (D a;{a})
                                                       (N river;{river})
                                                       (N trip;{trip})))
                              (PP-NIM (P-ROLE with;{with})
                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                          (ADJP (ADJ English;{english}))
                                          (N class;{class})))
                              (ADVP-NIM (ADV recently;{recently}))))
          (PUNC .))
  (ID 7_a_fce_0102_2001_12))

arc(r_0007_0002__know,r_0007_0001__I,arg0).
arc(r_0007_0002__know,r_0007_0004__went_r_0007_0005__on,arg1).
arc(r_0007_0004__went_r_0007_0005__on,r_0007_0003__you,arg0).
arc(r_0007_0004__went_r_0007_0005__on,r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip,arg1).
arc(r_0007_0004__went_r_0007_0005__on,r_0007_0012__class,r_0007_0009__with__nim).
arc(r_0007_0004__went_r_0007_0005__on,r_0007_0013__recently,nim).
arc(r_0007_0012__class,r_0007_0003__you,gen).
arc(r_0007_0012__class,r_0007_0011__English,attrib).

fof(formula,axiom,
    ? [R_0007_0001__I,R_0007_0003__YOU,R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP,R_0007_0011__ENGLISH,R_0007_0012__CLASS,R_0007_0013__RECENTLY,R_0007_0004__WENT_R_0007_0005__ON,R_0007_0002__KNOW] :
      ( r_0007_0001__I(R_0007_0001__I)
      & r_0007_0003__you(R_0007_0003__YOU)
      & r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip(R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP)
      & r_0007_0011__English(R_0007_0011__ENGLISH)
      & r_0007_0013__recently(R_0007_0013__RECENTLY)
      & r_0007_0002__know(R_0007_0002__KNOW)
      & has_arg1(R_0007_0002__KNOW,R_0007_0004__WENT_R_0007_0005__ON)
      & r_0007_0004__went_r_0007_0005__on(R_0007_0004__WENT_R_0007_0005__ON)
      & has_nim(R_0007_0004__WENT_R_0007_0005__ON,R_0007_0013__RECENTLY)
      & has_r_0007_0009__with__nim(R_0007_0004__WENT_R_0007_0005__ON,R_0007_0012__CLASS)
      & r_0007_0012__class(R_0007_0012__CLASS)
      & has_attrib(R_0007_0012__CLASS,R_0007_0011__ENGLISH)
      & has_gen(R_0007_0012__CLASS,R_0007_0003__YOU)
      & has_arg1(R_0007_0004__WENT_R_0007_0005__ON,R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP)
      & has_arg0(R_0007_0004__WENT_R_0007_0005__ON,R_0007_0003__YOU)
      & has_arg0(R_0007_0002__KNOW,R_0007_0001__I) ) ).