Context                Previous, Next                Top


7_a_fce_0102_2001_12
I know you went on a river trip with your English class recently.

%3 r_0007_0002__know know r_0007_0001__I I r_0007_0002__know->r_0007_0001__I [arg0] r_0007_0004__went went r_0007_0002__know->r_0007_0004__went [arg1] r_0007_0003__you you r_0007_0004__went->r_0007_0003__you [arg0] r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip a river trip r_0007_0004__went->r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip on [clr] r_0007_0012__class class r_0007_0004__went->r_0007_0012__class with [nim] r_0007_0013__recently recently r_0007_0004__went->r_0007_0013__recently [nim] r_0007_0012__class->r_0007_0003__you [gen] r_0007_0011__English English r_0007_0012__class->r_0007_0011__English [attrib] 
arc(r_0007_0002__know, r_0007_0001__I, arg0).
arc(r_0007_0002__know, r_0007_0004__went, arg1).
arc(r_0007_0004__went, r_0007_0003__you, arg0).
arc(r_0007_0004__went, r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip, r_0007_0005__on_clr17).
arc(r_0007_0004__went, r_0007_0012__class, r_0007_0009__with_nim27).
arc(r_0007_0004__went, r_0007_0013__recently, nim36).
arc(r_0007_0012__class, r_0007_0003__you, gen).
arc(r_0007_0012__class, r_0007_0011__English, attrib31).


%3 r_0007_0012__class class r_0007_0011__English English r_0007_0012__class->r_0007_0011__English [attrib] r_0007_0003__you you r_0007_0012__class->r_0007_0003__you [gen] r_0007_0004__went went r_0007_0004__went->r_0007_0012__class with [nim] r_0007_0004__went->r_0007_0003__you [arg0] r_0007_0013__recently recently r_0007_0004__went->r_0007_0013__recently [nim] r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip a river trip r_0007_0004__went->r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip on [clr] r_0007_0002__know know r_0007_0002__know->r_0007_0004__went [arg1] r_0007_0001__I I r_0007_0002__know->r_0007_0001__I [arg0] 
fof(formula,axiom,
    ? [R_7_2_KNOW,R_7_1_I,R_7_4_WENT,R_7_13_RECENTLY,R_7_6_A_RIVER_TRIP,R_7_12_CLASS,R_7_11_ENGLISH,R_7_3_YOU] :
      ( i(R_7_1_I)
      & recently(R_7_13_RECENTLY)
      & a_river_trip(R_7_6_A_RIVER_TRIP)
      & english(R_7_11_ENGLISH)
      & you(R_7_3_YOU)
      & know(R_7_2_KNOW,R_7_1_I,R_7_4_WENT)
      & went(R_7_4_WENT,R_7_3_YOU)
      & nim36(R_7_4_WENT,R_7_13_RECENTLY)
      & on_clr17(R_7_4_WENT,R_7_6_A_RIVER_TRIP)
      & with_nim27(R_7_4_WENT,R_7_12_CLASS)
      & class(R_7_12_CLASS)
      & attrib31(R_7_12_CLASS,R_7_11_ENGLISH)
      & gen(R_7_12_CLASS,R_7_3_YOU) ) ).


n7_a_fce_0102_2001_12 n7_a_fce_0102_2001_12__1_1_1_1 I n7_a_fce_0102_2001_12__1_2_1 know n7_a_fce_0102_2001_12__1_3_1_1_1_1 you n7_a_fce_0102_2001_12__1_3_1_2_1 went n7_a_fce_0102_2001_12__1_3_1_3_1_1 on n7_a_fce_0102_2001_12__1_3_1_3_2_1_1 a n7_a_fce_0102_2001_12__1_3_1_3_2_2_1 river n7_a_fce_0102_2001_12__1_3_1_3_2_3_1 trip n7_a_fce_0102_2001_12__1_3_1_4_1_1 with n7_a_fce_0102_2001_12__1_3_1_4_2_1_1_1 your n7_a_fce_0102_2001_12__1_3_1_4_2_2_1_1 English n7_a_fce_0102_2001_12__1_3_1_4_2_3_1 class n7_a_fce_0102_2001_12__1_3_1_5_1_1 recently n7_a_fce_0102_2001_12__1_4_1 . n7_a_fce_0102_2001_12__1 IP-MAT n7_a_fce_0102_2001_12__1_1 NP-SBJ n7_a_fce_0102_2001_12__1->n7_a_fce_0102_2001_12__1_1 n7_a_fce_0102_2001_12__1_2 VBP;_Tf_ n7_a_fce_0102_2001_12__1->n7_a_fce_0102_2001_12__1_2 n7_a_fce_0102_2001_12__1_3 CP-THT-OB1 n7_a_fce_0102_2001_12__1->n7_a_fce_0102_2001_12__1_3 n7_a_fce_0102_2001_12__1_4 PUNC n7_a_fce_0102_2001_12__1->n7_a_fce_0102_2001_12__1_4 n7_a_fce_0102_2001_12__1_1_1 PRO n7_a_fce_0102_2001_12__1_1->n7_a_fce_0102_2001_12__1_1_1 n7_a_fce_0102_2001_12__1_1_1->n7_a_fce_0102_2001_12__1_1_1_1 n7_a_fce_0102_2001_12__1_2->n7_a_fce_0102_2001_12__1_2_1 n7_a_fce_0102_2001_12__1_3_1 IP-SUB n7_a_fce_0102_2001_12__1_3->n7_a_fce_0102_2001_12__1_3_1 n7_a_fce_0102_2001_12__1_3_1_1 NP-SBJ n7_a_fce_0102_2001_12__1_3_1->n7_a_fce_0102_2001_12__1_3_1_1 n7_a_fce_0102_2001_12__1_3_1_2 VBD;_Ipr_ n7_a_fce_0102_2001_12__1_3_1->n7_a_fce_0102_2001_12__1_3_1_2 n7_a_fce_0102_2001_12__1_3_1_3 PP-CLR n7_a_fce_0102_2001_12__1_3_1->n7_a_fce_0102_2001_12__1_3_1_3 n7_a_fce_0102_2001_12__1_3_1_4 PP-NIM n7_a_fce_0102_2001_12__1_3_1->n7_a_fce_0102_2001_12__1_3_1_4 n7_a_fce_0102_2001_12__1_3_1_5 ADVP-NIM n7_a_fce_0102_2001_12__1_3_1->n7_a_fce_0102_2001_12__1_3_1_5 n7_a_fce_0102_2001_12__1_3_1_1_1 PRO n7_a_fce_0102_2001_12__1_3_1_1->n7_a_fce_0102_2001_12__1_3_1_1_1 n7_a_fce_0102_2001_12__1_3_1_1_1->n7_a_fce_0102_2001_12__1_3_1_1_1_1 n7_a_fce_0102_2001_12__1_3_1_2->n7_a_fce_0102_2001_12__1_3_1_2_1 n7_a_fce_0102_2001_12__1_3_1_3_1 P-ROLE n7_a_fce_0102_2001_12__1_3_1_3->n7_a_fce_0102_2001_12__1_3_1_3_1 n7_a_fce_0102_2001_12__1_3_1_3_2 NP n7_a_fce_0102_2001_12__1_3_1_3->n7_a_fce_0102_2001_12__1_3_1_3_2 n7_a_fce_0102_2001_12__1_3_1_3_1->n7_a_fce_0102_2001_12__1_3_1_3_1_1 n7_a_fce_0102_2001_12__1_3_1_3_2_1 D n7_a_fce_0102_2001_12__1_3_1_3_2->n7_a_fce_0102_2001_12__1_3_1_3_2_1 n7_a_fce_0102_2001_12__1_3_1_3_2_2 N n7_a_fce_0102_2001_12__1_3_1_3_2->n7_a_fce_0102_2001_12__1_3_1_3_2_2 n7_a_fce_0102_2001_12__1_3_1_3_2_3 N n7_a_fce_0102_2001_12__1_3_1_3_2->n7_a_fce_0102_2001_12__1_3_1_3_2_3 n7_a_fce_0102_2001_12__1_3_1_3_2_1->n7_a_fce_0102_2001_12__1_3_1_3_2_1_1 n7_a_fce_0102_2001_12__1_3_1_3_2_2->n7_a_fce_0102_2001_12__1_3_1_3_2_2_1 n7_a_fce_0102_2001_12__1_3_1_3_2_3->n7_a_fce_0102_2001_12__1_3_1_3_2_3_1 n7_a_fce_0102_2001_12__1_3_1_4_1 P-ROLE n7_a_fce_0102_2001_12__1_3_1_4->n7_a_fce_0102_2001_12__1_3_1_4_1 n7_a_fce_0102_2001_12__1_3_1_4_2 NP n7_a_fce_0102_2001_12__1_3_1_4->n7_a_fce_0102_2001_12__1_3_1_4_2 n7_a_fce_0102_2001_12__1_3_1_4_1->n7_a_fce_0102_2001_12__1_3_1_4_1_1 n7_a_fce_0102_2001_12__1_3_1_4_2_1 NP-GEN n7_a_fce_0102_2001_12__1_3_1_4_2->n7_a_fce_0102_2001_12__1_3_1_4_2_1 n7_a_fce_0102_2001_12__1_3_1_4_2_2 ADJP n7_a_fce_0102_2001_12__1_3_1_4_2->n7_a_fce_0102_2001_12__1_3_1_4_2_2 n7_a_fce_0102_2001_12__1_3_1_4_2_3 N n7_a_fce_0102_2001_12__1_3_1_4_2->n7_a_fce_0102_2001_12__1_3_1_4_2_3 n7_a_fce_0102_2001_12__1_3_1_4_2_1_1 PRO;_genm_ n7_a_fce_0102_2001_12__1_3_1_4_2_1->n7_a_fce_0102_2001_12__1_3_1_4_2_1_1 n7_a_fce_0102_2001_12__1_3_1_4_2_1_1->n7_a_fce_0102_2001_12__1_3_1_4_2_1_1_1 n7_a_fce_0102_2001_12__1_3_1_4_2_2_1 ADJ n7_a_fce_0102_2001_12__1_3_1_4_2_2->n7_a_fce_0102_2001_12__1_3_1_4_2_2_1 n7_a_fce_0102_2001_12__1_3_1_4_2_2_1->n7_a_fce_0102_2001_12__1_3_1_4_2_2_1_1 n7_a_fce_0102_2001_12__1_3_1_4_2_3->n7_a_fce_0102_2001_12__1_3_1_4_2_3_1 n7_a_fce_0102_2001_12__1_3_1_5_1 ADV n7_a_fce_0102_2001_12__1_3_1_5->n7_a_fce_0102_2001_12__1_3_1_5_1 n7_a_fce_0102_2001_12__1_3_1_5_1->n7_a_fce_0102_2001_12__1_3_1_5_1_1 n7_a_fce_0102_2001_12__1_4->n7_a_fce_0102_2001_12__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ know;{know})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (VBD;_Ipr_ went;{go[on]})
                              (PP-CLR (P-ROLE on;{on})
                                      (NP;{RIVER_TRIP} (D a;{a})
                                                       (N river;{river})
                                                       (N trip;{trip})))
                              (PP-NIM (P-ROLE with;{with})
                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                          (ADJP (ADJ English;{english}))
                                          (N class;{class})))
                              (ADVP-NIM (ADV recently;{recently}))))
          (PUNC .))
  (ID 7_a_fce_0102_2001_12))