TSPC 10_a_fce_0101_2001

10_a_fce_0101_2001_06
Unfortunately, the computer skills course had to be cancelled, because the teacher was ill.

( (IP-MAT (ADVP-NIM (ADV Unfortunately;{unfortunately}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N computer;{computer})
                  (NS skills;{skill})
                  (N course;{course}))
          (HVD;_cat_Vt_ had;{have})
          (IP-INF-CAT (TO to;{to})
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ cancelled;{cancel})))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N teacher;{teacher}))
                           (BED;_La_ was;{be})
                           (ADJP-PRD (ADJ ill;{ill}))))
          (PUNC .))
  (ID 10_a_fce_0101_2001_06))

arc(r_0010_0007__had,r_0010_0001__Unfortunately,nim).
arc(r_0010_0007__had,r_0010_0009__be,scope).
arc(r_0010_0009__be,r_0010_0010__cancelled,scope).
arc(r_0010_0010__cancelled,r_0010_0003__the_r_0010_0004__computer_r_0010_0005__skills_r_0010_0006__course,arg1).
arc(r_0010_0010__cancelled,z_0010_5009___star_,arg0).
arc(r_0010_0012__because,r_0010_0007__had,scope).
arc(r_0010_0012__because,r_0010_0015__was,restriction).
arc(r_0010_0015__was,r_0010_0013__the_r_0010_0014__teacher,arg0).
arc(r_0010_0015__was,r_0010_0016__ill,prd).

fof(formula,axiom,
    ? [R_0010_0001__UNFORTUNATELY,R_0010_0003__THE_R_0010_0004__COMPUTER_R_0010_0005__SKILLS_R_0010_0006__COURSE,Z_0010_5009___STAR_,R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED,R_0010_0013__THE_R_0010_0014__TEACHER,R_0010_0016__ILL,R_0010_0015__WAS,R_0010_0012__BECAUSE] :
      ( r_0010_0001__Unfortunately(R_0010_0001__UNFORTUNATELY)
      & r_0010_0003__the_r_0010_0004__computer_r_0010_0005__skills_r_0010_0006__course(R_0010_0003__THE_R_0010_0004__COMPUTER_R_0010_0005__SKILLS_R_0010_0006__COURSE)
      & r_0010_0013__the_r_0010_0014__teacher(R_0010_0013__THE_R_0010_0014__TEACHER)
      & r_0010_0016__ill(R_0010_0016__ILL)
      & z_0010_5009___star_(Z_0010_5009___STAR_)
      & r_0010_0012__because(R_0010_0012__BECAUSE)
      & has_conj1(R_0010_0012__BECAUSE,R_0010_0015__WAS)
      & r_0010_0015__was(R_0010_0015__WAS)
      & has_prd(R_0010_0015__WAS,R_0010_0016__ILL)
      & has_arg0(R_0010_0015__WAS,R_0010_0013__THE_R_0010_0014__TEACHER)
      & has_conj2(R_0010_0012__BECAUSE,R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED)
      & r_0010_0007__had_r_0010_0009__be_r_0010_0010__cancelled(R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED)
      & has_arg0(R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED,Z_0010_5009___STAR_)
      & has_arg1(R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED,R_0010_0003__THE_R_0010_0004__COMPUTER_R_0010_0005__SKILLS_R_0010_0006__COURSE)
      & has_nim(R_0010_0007__HAD_R_0010_0009__BE_R_0010_0010__CANCELLED,R_0010_0001__UNFORTUNATELY) ) ).