Context                Previous, Next                Top


11_a_fce_0101_2001_06
It was also a pity that nobody registered for the local history course.

%3 r_0011_0002__was was r_0011_0003__also also r_0011_0002__was->r_0011_0003__also [nim] r_0011_0004__a_r_0011_0005__pity a pity r_0011_0002__was->r_0011_0004__a_r_0011_0005__pity [prd] r_0011_0007__nobody_quant nobody [quant] r_0011_0002__was->r_0011_0007__nobody_quant [arg0] r_0011_0006__that_r_0011_0008__registered that registered r_0011_0007__nobody_quant->r_0011_0006__that_r_0011_0008__registered [scope] z_000_11_a_fce_0101_2001_06_19 r_0011_0007__nobody_quant->z_000_11_a_fce_0101_2001_06_19 [restriction] r_0011_0010__the_r_0011_0012__history_r_0011_0013__course the history course r_0011_0006__that_r_0011_0008__registered->r_0011_0010__the_r_0011_0012__history_r_0011_0013__course for [clr] r_0011_0006__that_r_0011_0008__registered->z_000_11_a_fce_0101_2001_06_19 [arg0] r_0011_0011__local local r_0011_0010__the_r_0011_0012__history_r_0011_0013__course->r_0011_0011__local [attrib] 
arc(r_0011_0002__was, r_0011_0003__also, nim7).
arc(r_0011_0002__was, r_0011_0004__a_r_0011_0005__pity, prd).
arc(r_0011_0002__was, r_0011_0007__nobody_quant, arg0).
arc(r_0011_0006__that_r_0011_0008__registered, r_0011_0010__the_r_0011_0012__history_r_0011_0013__course, r_0011_0009__for_clr27).
arc(r_0011_0006__that_r_0011_0008__registered, z_000_11_a_fce_0101_2001_06_19, arg0).
arc(r_0011_0007__nobody_quant, r_0011_0006__that_r_0011_0008__registered, scope).
arc(r_0011_0007__nobody_quant, z_000_11_a_fce_0101_2001_06_19, restriction).
arc(r_0011_0010__the_r_0011_0012__history_r_0011_0013__course, r_0011_0011__local, attrib30).


%3 r_0011_0002__was was r_0011_0003__also also r_0011_0002__was->r_0011_0003__also [nim] r_0011_0004__a_r_0011_0005__pity a pity r_0011_0002__was->r_0011_0004__a_r_0011_0005__pity [prd] r_0011_0007__nobody_quant nobody [quant] r_0011_0002__was->r_0011_0007__nobody_quant [arg0] r_0011_0006__that_r_0011_0008__registered that registered r_0011_0007__nobody_quant->r_0011_0006__that_r_0011_0008__registered [scope] z_000_11_a_fce_0101_2001_06_19 r_0011_0007__nobody_quant->z_000_11_a_fce_0101_2001_06_19 [restriction] r_0011_0010__the_r_0011_0012__history_r_0011_0013__course the history course r_0011_0006__that_r_0011_0008__registered->r_0011_0010__the_r_0011_0012__history_r_0011_0013__course for [clr] r_0011_0006__that_r_0011_0008__registered->z_000_11_a_fce_0101_2001_06_19 [arg0] r_0011_0011__local local r_0011_0010__the_r_0011_0012__history_r_0011_0013__course->r_0011_0011__local [attrib] 
fof(formula,axiom,
    ? [R_11_2_WAS,R_11_3_ALSO,R_11_4_A_PITY] :
      ( also(R_11_3_ALSO)
      & a_pity(R_11_4_A_PITY)
      & ! [Z_11_A_FCE_101_2001_6_19] :
          ( true
         => ? [R_11_6_THAT_REGISTERED,R_11_10_THE_HISTORY_COURSE,R_11_11_LOCAL] :
              ( local(R_11_11_LOCAL)
              & that_registered(R_11_6_THAT_REGISTERED,Z_11_A_FCE_101_2001_6_19)
              & for_clr27(R_11_6_THAT_REGISTERED,R_11_10_THE_HISTORY_COURSE)
              & the_history_course(R_11_10_THE_HISTORY_COURSE)
              & attrib30(R_11_10_THE_HISTORY_COURSE,R_11_11_LOCAL) ) )
      & arg0(ARG0)
      & was(R_11_2_WAS)
      & nim7(R_11_2_WAS,R_11_3_ALSO)
      & prd(R_11_2_WAS,R_11_4_A_PITY) ) ).


n11_a_fce_0101_2001_06 n11_a_fce_0101_2001_06_4 It n11_a_fce_0101_2001_06_6 was n11_a_fce_0101_2001_06_9 also n11_a_fce_0101_2001_06_12 a n11_a_fce_0101_2001_06_14 pity n11_a_fce_0101_2001_06_18 that n11_a_fce_0101_2001_06_21 nobody n11_a_fce_0101_2001_06_23 registered n11_a_fce_0101_2001_06_26 for n11_a_fce_0101_2001_06_29 the n11_a_fce_0101_2001_06_32 local n11_a_fce_0101_2001_06_34 history n11_a_fce_0101_2001_06_36 course n11_a_fce_0101_2001_06_38 . n11_a_fce_0101_2001_06_1 IP-MAT n11_a_fce_0101_2001_06_2 NP-SBJ n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_2 n11_a_fce_0101_2001_06_5 BED;_Ln_ n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_5 n11_a_fce_0101_2001_06_7 ADVP-NIM n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_7 n11_a_fce_0101_2001_06_10 NP-PRD n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_10 n11_a_fce_0101_2001_06_15 CP-THT-NSBJ n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_15 n11_a_fce_0101_2001_06_37 PUNC n11_a_fce_0101_2001_06_1->n11_a_fce_0101_2001_06_37 n11_a_fce_0101_2001_06_3 PRO;_provisional_ n11_a_fce_0101_2001_06_2->n11_a_fce_0101_2001_06_3 n11_a_fce_0101_2001_06_3->n11_a_fce_0101_2001_06_4 n11_a_fce_0101_2001_06_5->n11_a_fce_0101_2001_06_6 n11_a_fce_0101_2001_06_8 ADV n11_a_fce_0101_2001_06_7->n11_a_fce_0101_2001_06_8 n11_a_fce_0101_2001_06_8->n11_a_fce_0101_2001_06_9 n11_a_fce_0101_2001_06_11 D n11_a_fce_0101_2001_06_10->n11_a_fce_0101_2001_06_11 n11_a_fce_0101_2001_06_13 N n11_a_fce_0101_2001_06_10->n11_a_fce_0101_2001_06_13 n11_a_fce_0101_2001_06_11->n11_a_fce_0101_2001_06_12 n11_a_fce_0101_2001_06_13->n11_a_fce_0101_2001_06_14 n11_a_fce_0101_2001_06_16 IP-SUB n11_a_fce_0101_2001_06_15->n11_a_fce_0101_2001_06_16 n11_a_fce_0101_2001_06_17 C n11_a_fce_0101_2001_06_16->n11_a_fce_0101_2001_06_17 n11_a_fce_0101_2001_06_19 NP-SBJ n11_a_fce_0101_2001_06_16->n11_a_fce_0101_2001_06_19 n11_a_fce_0101_2001_06_22 VBD;_Ipr_ n11_a_fce_0101_2001_06_16->n11_a_fce_0101_2001_06_22 n11_a_fce_0101_2001_06_24 PP-CLR n11_a_fce_0101_2001_06_16->n11_a_fce_0101_2001_06_24 n11_a_fce_0101_2001_06_17->n11_a_fce_0101_2001_06_18 n11_a_fce_0101_2001_06_20 Q;_nphd_ n11_a_fce_0101_2001_06_19->n11_a_fce_0101_2001_06_20 n11_a_fce_0101_2001_06_20->n11_a_fce_0101_2001_06_21 n11_a_fce_0101_2001_06_22->n11_a_fce_0101_2001_06_23 n11_a_fce_0101_2001_06_25 P-ROLE n11_a_fce_0101_2001_06_24->n11_a_fce_0101_2001_06_25 n11_a_fce_0101_2001_06_27 NP n11_a_fce_0101_2001_06_24->n11_a_fce_0101_2001_06_27 n11_a_fce_0101_2001_06_25->n11_a_fce_0101_2001_06_26 n11_a_fce_0101_2001_06_28 D n11_a_fce_0101_2001_06_27->n11_a_fce_0101_2001_06_28 n11_a_fce_0101_2001_06_30 ADJP n11_a_fce_0101_2001_06_27->n11_a_fce_0101_2001_06_30 n11_a_fce_0101_2001_06_33 N n11_a_fce_0101_2001_06_27->n11_a_fce_0101_2001_06_33 n11_a_fce_0101_2001_06_35 N n11_a_fce_0101_2001_06_27->n11_a_fce_0101_2001_06_35 n11_a_fce_0101_2001_06_28->n11_a_fce_0101_2001_06_29 n11_a_fce_0101_2001_06_31 ADJ n11_a_fce_0101_2001_06_30->n11_a_fce_0101_2001_06_31 n11_a_fce_0101_2001_06_31->n11_a_fce_0101_2001_06_32 n11_a_fce_0101_2001_06_33->n11_a_fce_0101_2001_06_34 n11_a_fce_0101_2001_06_35->n11_a_fce_0101_2001_06_36 n11_a_fce_0101_2001_06_37->n11_a_fce_0101_2001_06_38 
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_Ln_ was;{be})
          (ADVP-NIM (ADV also;{also}))
          (NP-PRD (D a;{a})
                  (N pity;{pity}))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                               (VBD;_Ipr_ registered;{register[for]})
                               (PP-CLR (P-ROLE for;{for})
                                       (NP (D the;{the})
                                           (ADJP (ADJ local;{local}))
                                           (N history;{history})
                                           (N course;{course})))))
          (PUNC .))
  (ID 11_a_fce_0101_2001_06))