41_a_fce_0101_2001_06
Now your teacher has asked you to write a composition in which you compare two characters, saying how they are different.

%3 r_0041_0003__teacher teacher r_0041_0002__your your r_0041_0003__teacher->r_0041_0002__your [gen] r_0041_0004__has has r_0041_0001__Now Now r_0041_0004__has->r_0041_0001__Now [nim] r_0041_0005__asked asked r_0041_0004__has->r_0041_0005__asked [scope] r_0041_0005__asked->r_0041_0003__teacher [arg0] r_0041_0005__asked->r_0041_0002__your [arg2] r_0041_0007__to_r_0041_0008__write to write r_0041_0005__asked->r_0041_0007__to_r_0041_0008__write [arg1] r_0041_0007__to_r_0041_0008__write->r_0041_0002__your [arg0] r_0041_0009__a_r_0041_0010__composition a composition r_0041_0007__to_r_0041_0008__write->r_0041_0009__a_r_0041_0010__composition [arg1] r_0041_0014__compare compare r_0041_0014__compare->r_0041_0002__your [arg0] r_0041_0014__compare->r_0041_0009__a_r_0041_0010__composition in [nim] r_0041_0015__two_r_0041_0016__characters two characters r_0041_0014__compare->r_0041_0015__two_r_0041_0016__characters [arg1] r_0041_0018__saying saying r_0041_0018__saying->r_0041_0002__your [arg0] r_0041_0021__are are r_0041_0018__saying->r_0041_0021__are [arg1] r_0041_0021__are->r_0041_0015__two_r_0041_0016__characters [arg0] r_0041_0019__how how r_0041_0021__are->r_0041_0019__how [nim] r_0041_0022__different different r_0041_0021__are->r_0041_0022__different [prd] z_000_41_a_fce_0101_2001_06_48 z_000_41_a_fce_0101_2001_06_48->r_0041_0014__compare [scope] z_000_41_a_fce_0101_2001_06_48->r_0041_0018__saying [restriction]
arc(r_0041_0003__teacher, r_0041_0002__your, gen).
arc(r_0041_0004__has, r_0041_0001__Now, nim2).
arc(r_0041_0004__has, r_0041_0005__asked, scope).
arc(r_0041_0005__asked, r_0041_0002__your, arg2).
arc(r_0041_0005__asked, r_0041_0003__teacher, arg0).
arc(r_0041_0005__asked, r_0041_0007__to_r_0041_0008__write, arg1).
arc(r_0041_0007__to_r_0041_0008__write, r_0041_0002__your, arg0).
arc(r_0041_0007__to_r_0041_0008__write, r_0041_0009__a_r_0041_0010__composition, arg1).
arc(r_0041_0014__compare, r_0041_0002__your, arg0).
arc(r_0041_0014__compare, r_0041_0009__a_r_0041_0010__composition, r_0041_0011__in_nim33).
arc(r_0041_0014__compare, r_0041_0015__two_r_0041_0016__characters, arg1).
arc(r_0041_0018__saying, r_0041_0002__your, arg0).
arc(r_0041_0018__saying, r_0041_0021__are, arg1).
arc(r_0041_0021__are, r_0041_0015__two_r_0041_0016__characters, arg0).
arc(r_0041_0021__are, r_0041_0019__how, nim54).
arc(r_0041_0021__are, r_0041_0022__different, prd).
arc(z_000_41_a_fce_0101_2001_06_48, r_0041_0014__compare, scope).
arc(z_000_41_a_fce_0101_2001_06_48, r_0041_0018__saying, restriction).



%3 r_0041_0003__teacher teacher r_0041_0002__your your r_0041_0003__teacher->r_0041_0002__your [gen] r_0041_0004__has_r_0041_0005__asked has asked r_0041_0004__has_r_0041_0005__asked->r_0041_0003__teacher [arg0] r_0041_0004__has_r_0041_0005__asked->r_0041_0002__your [arg2] r_0041_0001__Now Now r_0041_0004__has_r_0041_0005__asked->r_0041_0001__Now [nim] r_0041_0007__to_r_0041_0008__write to write r_0041_0004__has_r_0041_0005__asked->r_0041_0007__to_r_0041_0008__write [arg1] r_0041_0007__to_r_0041_0008__write->r_0041_0002__your [arg0] r_0041_0009__a_r_0041_0010__composition a composition r_0041_0007__to_r_0041_0008__write->r_0041_0009__a_r_0041_0010__composition [arg1] r_0041_0014__compare compare r_0041_0014__compare->r_0041_0002__your [arg0] r_0041_0014__compare->r_0041_0009__a_r_0041_0010__composition in [nim] r_0041_0015__two_r_0041_0016__characters two characters r_0041_0014__compare->r_0041_0015__two_r_0041_0016__characters [arg1] r_0041_0018__saying saying r_0041_0018__saying->r_0041_0002__your [arg0] r_0041_0021__are are r_0041_0018__saying->r_0041_0021__are [arg1] r_0041_0021__are->r_0041_0015__two_r_0041_0016__characters [arg0] r_0041_0019__how how r_0041_0021__are->r_0041_0019__how [nim] r_0041_0022__different different r_0041_0021__are->r_0041_0022__different [prd] z_000_41_a_fce_0101_2001_06_48 z_000_41_a_fce_0101_2001_06_48->r_0041_0014__compare [conj2] z_000_41_a_fce_0101_2001_06_48->r_0041_0018__saying [conj1]
fof(formula,axiom,
    ? [R_41_4_HAS_ASKED,R_41_3_TEACHER,R_41_7_TO_WRITE,R_41_1_NOW,Z_41_A_FCE_101_2001_6_48,R_41_18_SAYING,R_41_21_ARE,R_41_19_HOW,R_41_22_DIFFERENT,R_41_14_COMPARE,R_41_2_YOUR,R_41_15_TWO_CHARACTERS,R_41_9_A_COMPOSITION] :
      ( now(R_41_1_NOW)
      & how(R_41_19_HOW)
      & different(R_41_22_DIFFERENT)
      & your(R_41_2_YOUR)
      & two_characters(R_41_15_TWO_CHARACTERS)
      & a_composition(R_41_9_A_COMPOSITION)
      & has_asked(R_41_4_HAS_ASKED,R_41_3_TEACHER,R_41_7_TO_WRITE,R_41_2_YOUR)
      & teacher(R_41_3_TEACHER)
      & gen(R_41_3_TEACHER,R_41_2_YOUR)
      & to_write(R_41_7_TO_WRITE,R_41_2_YOUR,R_41_9_A_COMPOSITION)
      & nim2(R_41_4_HAS_ASKED,R_41_1_NOW)
      & z_41_a_fce_101_2001_6_48(Z_41_A_FCE_101_2001_6_48)
      & conj1(Z_41_A_FCE_101_2001_6_48,R_41_18_SAYING)
      & saying(R_41_18_SAYING,R_41_2_YOUR,R_41_21_ARE)
      & are(R_41_21_ARE,R_41_15_TWO_CHARACTERS,R_41_22_DIFFERENT)
      & nim54(R_41_21_ARE,R_41_19_HOW)
      & conj2(Z_41_A_FCE_101_2001_6_48,R_41_14_COMPARE)
      & compare(R_41_14_COMPARE,R_41_2_YOUR,R_41_15_TWO_CHARACTERS)
      & in_nim33(R_41_14_COMPARE,R_41_9_A_COMPOSITION) ) ).



n41_a_fce_0101_2001_06 n41_a_fce_0101_2001_06_4 Now n41_a_fce_0101_2001_06_8 your n41_a_fce_0101_2001_06_10 teacher n41_a_fce_0101_2001_06_12 has n41_a_fce_0101_2001_06_15 asked n41_a_fce_0101_2001_06_18 you n41_a_fce_0101_2001_06_21 to n41_a_fce_0101_2001_06_23 write n41_a_fce_0101_2001_06_26 a n41_a_fce_0101_2001_06_28 composition n41_a_fce_0101_2001_06_32 in n41_a_fce_0101_2001_06_35 which n41_a_fce_0101_2001_06_38 you n41_a_fce_0101_2001_06_40 compare n41_a_fce_0101_2001_06_43 two n41_a_fce_0101_2001_06_45 characters n41_a_fce_0101_2001_06_47 , n41_a_fce_0101_2001_06_51 saying n41_a_fce_0101_2001_06_56 how n41_a_fce_0101_2001_06_59 they n41_a_fce_0101_2001_06_61 are n41_a_fce_0101_2001_06_64 different n41_a_fce_0101_2001_06_66 . n41_a_fce_0101_2001_06_1 IP-MAT n41_a_fce_0101_2001_06_2 ADVP-NIM n41_a_fce_0101_2001_06_1->n41_a_fce_0101_2001_06_2 n41_a_fce_0101_2001_06_5 NP-SBJ n41_a_fce_0101_2001_06_1->n41_a_fce_0101_2001_06_5 n41_a_fce_0101_2001_06_11 HVP;_cat_Ve_ n41_a_fce_0101_2001_06_1->n41_a_fce_0101_2001_06_11 n41_a_fce_0101_2001_06_13 IP-PPL-CAT n41_a_fce_0101_2001_06_1->n41_a_fce_0101_2001_06_13 n41_a_fce_0101_2001_06_65 PUNC n41_a_fce_0101_2001_06_1->n41_a_fce_0101_2001_06_65 n41_a_fce_0101_2001_06_3 ADV n41_a_fce_0101_2001_06_2->n41_a_fce_0101_2001_06_3 n41_a_fce_0101_2001_06_3->n41_a_fce_0101_2001_06_4 n41_a_fce_0101_2001_06_6 NP-GEN n41_a_fce_0101_2001_06_5->n41_a_fce_0101_2001_06_6 n41_a_fce_0101_2001_06_9 N n41_a_fce_0101_2001_06_5->n41_a_fce_0101_2001_06_9 n41_a_fce_0101_2001_06_7 PRO;_genm_ n41_a_fce_0101_2001_06_6->n41_a_fce_0101_2001_06_7 n41_a_fce_0101_2001_06_7->n41_a_fce_0101_2001_06_8 n41_a_fce_0101_2001_06_9->n41_a_fce_0101_2001_06_10 n41_a_fce_0101_2001_06_11->n41_a_fce_0101_2001_06_12 n41_a_fce_0101_2001_06_14 VVN;_Dn.t_ n41_a_fce_0101_2001_06_13->n41_a_fce_0101_2001_06_14 n41_a_fce_0101_2001_06_16 NP-OB2 n41_a_fce_0101_2001_06_13->n41_a_fce_0101_2001_06_16 n41_a_fce_0101_2001_06_19 IP-INF-OB1 n41_a_fce_0101_2001_06_13->n41_a_fce_0101_2001_06_19 n41_a_fce_0101_2001_06_14->n41_a_fce_0101_2001_06_15 n41_a_fce_0101_2001_06_17 PRO n41_a_fce_0101_2001_06_16->n41_a_fce_0101_2001_06_17 n41_a_fce_0101_2001_06_17->n41_a_fce_0101_2001_06_18 n41_a_fce_0101_2001_06_20 TO n41_a_fce_0101_2001_06_19->n41_a_fce_0101_2001_06_20 n41_a_fce_0101_2001_06_22 VB;_Tn_ n41_a_fce_0101_2001_06_19->n41_a_fce_0101_2001_06_22 n41_a_fce_0101_2001_06_24 NP-OB1 n41_a_fce_0101_2001_06_19->n41_a_fce_0101_2001_06_24 n41_a_fce_0101_2001_06_20->n41_a_fce_0101_2001_06_21 n41_a_fce_0101_2001_06_22->n41_a_fce_0101_2001_06_23 n41_a_fce_0101_2001_06_25 D n41_a_fce_0101_2001_06_24->n41_a_fce_0101_2001_06_25 n41_a_fce_0101_2001_06_27 N n41_a_fce_0101_2001_06_24->n41_a_fce_0101_2001_06_27 n41_a_fce_0101_2001_06_29 IP-REL n41_a_fce_0101_2001_06_24->n41_a_fce_0101_2001_06_29 n41_a_fce_0101_2001_06_25->n41_a_fce_0101_2001_06_26 n41_a_fce_0101_2001_06_27->n41_a_fce_0101_2001_06_28 n41_a_fce_0101_2001_06_30 PP-NIM n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_30 n41_a_fce_0101_2001_06_36 NP-SBJ n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_36 n41_a_fce_0101_2001_06_39 VBP;_Tn_ n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_39 n41_a_fce_0101_2001_06_41 NP-OB1 n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_41 n41_a_fce_0101_2001_06_46 PUNC n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_46 n41_a_fce_0101_2001_06_48 PP-SCON n41_a_fce_0101_2001_06_29->n41_a_fce_0101_2001_06_48 n41_a_fce_0101_2001_06_31 P-ROLE n41_a_fce_0101_2001_06_30->n41_a_fce_0101_2001_06_31 n41_a_fce_0101_2001_06_33 NP n41_a_fce_0101_2001_06_30->n41_a_fce_0101_2001_06_33 n41_a_fce_0101_2001_06_31->n41_a_fce_0101_2001_06_32 n41_a_fce_0101_2001_06_34 RPRO n41_a_fce_0101_2001_06_33->n41_a_fce_0101_2001_06_34 n41_a_fce_0101_2001_06_34->n41_a_fce_0101_2001_06_35 n41_a_fce_0101_2001_06_37 PRO n41_a_fce_0101_2001_06_36->n41_a_fce_0101_2001_06_37 n41_a_fce_0101_2001_06_37->n41_a_fce_0101_2001_06_38 n41_a_fce_0101_2001_06_39->n41_a_fce_0101_2001_06_40 n41_a_fce_0101_2001_06_42 NUM n41_a_fce_0101_2001_06_41->n41_a_fce_0101_2001_06_42 n41_a_fce_0101_2001_06_44 NS n41_a_fce_0101_2001_06_41->n41_a_fce_0101_2001_06_44 n41_a_fce_0101_2001_06_42->n41_a_fce_0101_2001_06_43 n41_a_fce_0101_2001_06_44->n41_a_fce_0101_2001_06_45 n41_a_fce_0101_2001_06_46->n41_a_fce_0101_2001_06_47 n41_a_fce_0101_2001_06_49 IP-PPL2 n41_a_fce_0101_2001_06_48->n41_a_fce_0101_2001_06_49 n41_a_fce_0101_2001_06_50 VAG;_Tw_ n41_a_fce_0101_2001_06_49->n41_a_fce_0101_2001_06_50 n41_a_fce_0101_2001_06_52 CP-QUE-OB1 n41_a_fce_0101_2001_06_49->n41_a_fce_0101_2001_06_52 n41_a_fce_0101_2001_06_50->n41_a_fce_0101_2001_06_51 n41_a_fce_0101_2001_06_53 IP-SUB n41_a_fce_0101_2001_06_52->n41_a_fce_0101_2001_06_53 n41_a_fce_0101_2001_06_54 ADVP-NIM n41_a_fce_0101_2001_06_53->n41_a_fce_0101_2001_06_54 n41_a_fce_0101_2001_06_57 NP-SBJ n41_a_fce_0101_2001_06_53->n41_a_fce_0101_2001_06_57 n41_a_fce_0101_2001_06_60 BEP;_La_ n41_a_fce_0101_2001_06_53->n41_a_fce_0101_2001_06_60 n41_a_fce_0101_2001_06_62 ADJP-PRD n41_a_fce_0101_2001_06_53->n41_a_fce_0101_2001_06_62 n41_a_fce_0101_2001_06_55 WADV n41_a_fce_0101_2001_06_54->n41_a_fce_0101_2001_06_55 n41_a_fce_0101_2001_06_55->n41_a_fce_0101_2001_06_56 n41_a_fce_0101_2001_06_58 PRO n41_a_fce_0101_2001_06_57->n41_a_fce_0101_2001_06_58 n41_a_fce_0101_2001_06_58->n41_a_fce_0101_2001_06_59 n41_a_fce_0101_2001_06_60->n41_a_fce_0101_2001_06_61 n41_a_fce_0101_2001_06_63 ADJ n41_a_fce_0101_2001_06_62->n41_a_fce_0101_2001_06_63 n41_a_fce_0101_2001_06_63->n41_a_fce_0101_2001_06_64 n41_a_fce_0101_2001_06_65->n41_a_fce_0101_2001_06_66
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                  (N teacher;{teacher}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2 (PRO you;{you}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ write;{write})
                                  (NP-OB1 (D a;{a})
                                          (N composition;{composition})
                                          (IP-REL (PP-NIM (P-ROLE in;{in})
                                                          (NP (RPRO which;{which})))
                                                  (NP-SBJ (PRO you;{you}))
                                                  (VBP;_Tn_ compare;{compare})
                                                  (NP-OB1;{CHARACTERS} (NUM two;{two})
                                                                       (NS characters;{character}))
                                                  (PUNC ,)
                                                  (PP-SCON (IP-PPL2 (VAG;_Tw_ saying;{say})
                                                                    (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV how;{how}))
                                                                                        (NP-SBJ;{CHARACTERS} (PRO they;{they}))
                                                                                        (BEP;_La_ are;{be})
                                                                                        (ADJP-PRD (ADJ different;{different}))))))))))
          (PUNC .))
  (ID 41_a_fce_0101_2001_06))