( (IP-MAT (NP-SBJ (D The;{the})
                  (N school;{school})
                  (IP-REL (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ (PRO you;{you}))
                          (VBP;_Tn_ learn;{learn})
                          (NP-OB1 (NPR English;{English}))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tt_ decided;{decide})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ buy;{buy})
                                  (NP-OB1 (D some;{some})
                                          (NS videos;{video})
                                          (PP (P-ROLE in;{in})
                                              (NP (NPR English;{English}))))))
          (PUNC .))
  (ID 18_a_fce_0102_2001_03))

arc(r_0018_0005__learn,r_0018_0001__The_r_0018_0002__school,nim).
arc(r_0018_0005__learn,r_0018_0004__you,arg0).
arc(r_0018_0005__learn,r_0018_0006__English,arg1).
arc(r_0018_0007__has,r_0018_0008__decided,scope).
arc(r_0018_0008__decided,r_0018_0001__The_r_0018_0002__school,arg0).
arc(r_0018_0008__decided,r_0018_0010__buy,arg1).
arc(r_0018_0010__buy,r_0018_0001__The_r_0018_0002__school,arg0).
arc(r_0018_0010__buy,r_0018_0011__some_r_0018_0012__videos,arg1).
arc(r_0018_0011__some_r_0018_0012__videos,r_0018_0014__English,r_0018_0013__in).

fof(formula,axiom,
    ? [R_0018_0001__THE_R_0018_0002__SCHOOL,R_0018_0004__YOU,R_0018_0006__ENGLISH,R_0018_0005__LEARN,R_0018_0014__ENGLISH,R_0018_0011__SOME_R_0018_0012__VIDEOS,R_0018_0010__BUY,R_0018_0007__HAS_R_0018_0008__DECIDED] :
      ( r_0018_0001__The_r_0018_0002__school(R_0018_0001__THE_R_0018_0002__SCHOOL)
      & r_0018_0004__you(R_0018_0004__YOU)
      & r_0018_0006__English(R_0018_0006__ENGLISH)
      & r_0018_0014__English(R_0018_0014__ENGLISH)
      & r_0018_0007__has_r_0018_0008__decided(R_0018_0007__HAS_R_0018_0008__DECIDED)
      & has_arg1(R_0018_0007__HAS_R_0018_0008__DECIDED,R_0018_0010__BUY)
      & r_0018_0010__buy(R_0018_0010__BUY)
      & has_arg1(R_0018_0010__BUY,R_0018_0011__SOME_R_0018_0012__VIDEOS)
      & r_0018_0011__some_r_0018_0012__videos(R_0018_0011__SOME_R_0018_0012__VIDEOS)
      & has_r_0018_0013__in(R_0018_0011__SOME_R_0018_0012__VIDEOS,R_0018_0014__ENGLISH)
      & has_arg0(R_0018_0010__BUY,R_0018_0001__THE_R_0018_0002__SCHOOL)
      & has_arg0(R_0018_0007__HAS_R_0018_0008__DECIDED,R_0018_0001__THE_R_0018_0002__SCHOOL)
      & r_0018_0005__learn(R_0018_0005__LEARN)
      & has_arg1(R_0018_0005__LEARN,R_0018_0006__ENGLISH)
      & has_arg0(R_0018_0005__LEARN,R_0018_0004__YOU)
      & has_nim(R_0018_0005__LEARN,R_0018_0001__THE_R_0018_0002__SCHOOL) ) ).