( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N report;{report})))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (ADVP-NIM (ADV also;{also}))
                      (VB;_Tw_ explain;{explain})
                      (CP-QUE-OB1 (IP-SUB (ADVP-139 (WADV why;{why}))
                                          (NP-SBJ (NS students;{student})
                                                  (PP (P-ROLE at;{at})
                                                      (NP (D the;{the})
                                                          (N school;{school}))))
                                          (MD;_cat_Vi_ will;{will})
                                          (IP-INF-CAT (ADVP-NIM *ICH*-139)
                                                      (VB;_Tn_ enjoy;{enjoy})
                                                      (NP-OB1 (D these;{these})
                                                              (NS videos;{video}))))))
          (PUNC .))
  (ID 20_a_fce_0102_2001_03))

arc(r_0020_0003__report,r_0020_0002__your,gen).
arc(r_0020_0006__should,r_0020_0003__report,r_0020_0001__In__nim).
arc(r_0020_0006__should,r_0020_0008__explain,scope).
arc(r_0020_0008__explain,r_0020_0002__your,arg0).
arc(r_0020_0008__explain,r_0020_0007__also,nim).
arc(r_0020_0008__explain,r_0020_0014__will,arg1).
arc(r_0020_0010__students,r_0020_0012__the_r_0020_0013__school,r_0020_0011__at).
arc(r_0020_0014__will,r_0020_0015__enjoy,scope).
arc(r_0020_0015__enjoy,r_0020_0009__why,nim).
arc(r_0020_0015__enjoy,r_0020_0010__students,arg0).
arc(r_0020_0015__enjoy,r_0020_0016__these_r_0020_0017__videos,arg1).

fof(formula,axiom,
    ? [R_0020_0002__YOUR,R_0020_0003__REPORT,R_0020_0007__ALSO,R_0020_0009__WHY,R_0020_0012__THE_R_0020_0013__SCHOOL,R_0020_0010__STUDENTS,R_0020_0016__THESE_R_0020_0017__VIDEOS,R_0020_0014__WILL_R_0020_0015__ENJOY,R_0020_0006__SHOULD_R_0020_0008__EXPLAIN] :
      ( r_0020_0002__your(R_0020_0002__YOUR)
      & r_0020_0007__also(R_0020_0007__ALSO)
      & r_0020_0009__why(R_0020_0009__WHY)
      & r_0020_0012__the_r_0020_0013__school(R_0020_0012__THE_R_0020_0013__SCHOOL)
      & r_0020_0016__these_r_0020_0017__videos(R_0020_0016__THESE_R_0020_0017__VIDEOS)
      & r_0020_0006__should_r_0020_0008__explain(R_0020_0006__SHOULD_R_0020_0008__EXPLAIN)
      & has_arg1(R_0020_0006__SHOULD_R_0020_0008__EXPLAIN,R_0020_0014__WILL_R_0020_0015__ENJOY)
      & r_0020_0014__will_r_0020_0015__enjoy(R_0020_0014__WILL_R_0020_0015__ENJOY)
      & has_arg1(R_0020_0014__WILL_R_0020_0015__ENJOY,R_0020_0016__THESE_R_0020_0017__VIDEOS)
      & has_arg0(R_0020_0014__WILL_R_0020_0015__ENJOY,R_0020_0010__STUDENTS)
      & r_0020_0010__students(R_0020_0010__STUDENTS)
      & has_r_0020_0011__at(R_0020_0010__STUDENTS,R_0020_0012__THE_R_0020_0013__SCHOOL)
      & has_nim(R_0020_0014__WILL_R_0020_0015__ENJOY,R_0020_0009__WHY)
      & has_nim(R_0020_0006__SHOULD_R_0020_0008__EXPLAIN,R_0020_0007__ALSO)
      & has_arg0(R_0020_0006__SHOULD_R_0020_0008__EXPLAIN,R_0020_0002__YOUR)
      & has_r_0020_0001__In__nim(R_0020_0006__SHOULD_R_0020_0008__EXPLAIN,R_0020_0003__REPORT)
      & r_0020_0003__report(R_0020_0003__REPORT)
      & has_gen(R_0020_0003__REPORT,R_0020_0002__YOUR) ) ).