Context                Previous, Next                Top


3_a_stories_10_k03
It was a nice sunny day in one of my holidays from school.

%3 r_0003_0002__was was r_0003_0003__a_r_0003_0006__day a day r_0003_0002__was->r_0003_0003__a_r_0003_0006__day [prd] r_0003_0008__one one r_0003_0002__was->r_0003_0008__one in [nim] r_0003_0004__nice nice r_0003_0003__a_r_0003_0006__day->r_0003_0004__nice [attrib] r_0003_0005__sunny sunny r_0003_0003__a_r_0003_0006__day->r_0003_0005__sunny [attrib] r_0003_0011__holidays holidays r_0003_0008__one->r_0003_0011__holidays of r_0003_0010__my my r_0003_0011__holidays->r_0003_0010__my [gen] r_0003_0013__school school r_0003_0011__holidays->r_0003_0013__school from 
arc(r_0003_0002__was, r_0003_0003__a_r_0003_0006__day, prd).
arc(r_0003_0002__was, r_0003_0008__one, r_0003_0007__in_nim21).
arc(r_0003_0003__a_r_0003_0006__day, r_0003_0004__nice, attrib10).
arc(r_0003_0003__a_r_0003_0006__day, r_0003_0005__sunny, attrib13).
arc(r_0003_0008__one, r_0003_0011__holidays, r_0003_0009__of).
arc(r_0003_0011__holidays, r_0003_0010__my, gen).
arc(r_0003_0011__holidays, r_0003_0013__school, r_0003_0012__from).


%3 r_0003_0002__was was r_0003_0003__a_r_0003_0006__day a day r_0003_0002__was->r_0003_0003__a_r_0003_0006__day [prd] r_0003_0008__one one r_0003_0002__was->r_0003_0008__one in [nim] r_0003_0004__nice nice r_0003_0003__a_r_0003_0006__day->r_0003_0004__nice [attrib] r_0003_0005__sunny sunny r_0003_0003__a_r_0003_0006__day->r_0003_0005__sunny [attrib] r_0003_0011__holidays holidays r_0003_0008__one->r_0003_0011__holidays of r_0003_0010__my my r_0003_0011__holidays->r_0003_0010__my [gen] r_0003_0013__school school r_0003_0011__holidays->r_0003_0013__school from 
fof(formula,axiom,
    ? [R_3_2_WAS,R_3_3_A_DAY,R_3_4_NICE,R_3_5_SUNNY,R_3_8_ONE,R_3_11_HOLIDAYS,R_3_10_MY,R_3_13_SCHOOL] :
      ( nice(R_3_4_NICE)
      & sunny(R_3_5_SUNNY)
      & my(R_3_10_MY)
      & school(R_3_13_SCHOOL)
      & was(R_3_2_WAS)
      & prd(R_3_2_WAS,R_3_3_A_DAY)
      & a_day(R_3_3_A_DAY)
      & attrib10(R_3_3_A_DAY,R_3_4_NICE)
      & attrib13(R_3_3_A_DAY,R_3_5_SUNNY)
      & in_nim21(R_3_2_WAS,R_3_8_ONE)
      & one(R_3_8_ONE)
      & of(R_3_8_ONE,R_3_11_HOLIDAYS)
      & holidays(R_3_11_HOLIDAYS)
      & gen(R_3_11_HOLIDAYS,R_3_10_MY)
      & from(R_3_11_HOLIDAYS,R_3_13_SCHOOL) ) ).


n3_a_stories_10_k03 n3_a_stories_10_k03_4 It n3_a_stories_10_k03_6 was n3_a_stories_10_k03_9 a n3_a_stories_10_k03_12 nice n3_a_stories_10_k03_15 sunny n3_a_stories_10_k03_17 day n3_a_stories_10_k03_20 in n3_a_stories_10_k03_23 one n3_a_stories_10_k03_26 of n3_a_stories_10_k03_30 my n3_a_stories_10_k03_32 holidays n3_a_stories_10_k03_35 from n3_a_stories_10_k03_38 school n3_a_stories_10_k03_40 . n3_a_stories_10_k03_1 IP-MAT n3_a_stories_10_k03_2 NP-SBJ n3_a_stories_10_k03_1->n3_a_stories_10_k03_2 n3_a_stories_10_k03_5 BED;_Ln_ n3_a_stories_10_k03_1->n3_a_stories_10_k03_5 n3_a_stories_10_k03_7 NP-PRD n3_a_stories_10_k03_1->n3_a_stories_10_k03_7 n3_a_stories_10_k03_18 PP-NIM n3_a_stories_10_k03_1->n3_a_stories_10_k03_18 n3_a_stories_10_k03_39 PUNC n3_a_stories_10_k03_1->n3_a_stories_10_k03_39 n3_a_stories_10_k03_3 PRO;_expletive_ n3_a_stories_10_k03_2->n3_a_stories_10_k03_3 n3_a_stories_10_k03_3->n3_a_stories_10_k03_4 n3_a_stories_10_k03_5->n3_a_stories_10_k03_6 n3_a_stories_10_k03_8 D n3_a_stories_10_k03_7->n3_a_stories_10_k03_8 n3_a_stories_10_k03_10 ADJP n3_a_stories_10_k03_7->n3_a_stories_10_k03_10 n3_a_stories_10_k03_13 ADJP n3_a_stories_10_k03_7->n3_a_stories_10_k03_13 n3_a_stories_10_k03_16 N n3_a_stories_10_k03_7->n3_a_stories_10_k03_16 n3_a_stories_10_k03_8->n3_a_stories_10_k03_9 n3_a_stories_10_k03_11 ADJ n3_a_stories_10_k03_10->n3_a_stories_10_k03_11 n3_a_stories_10_k03_11->n3_a_stories_10_k03_12 n3_a_stories_10_k03_14 ADJ n3_a_stories_10_k03_13->n3_a_stories_10_k03_14 n3_a_stories_10_k03_14->n3_a_stories_10_k03_15 n3_a_stories_10_k03_16->n3_a_stories_10_k03_17 n3_a_stories_10_k03_19 P-ROLE n3_a_stories_10_k03_18->n3_a_stories_10_k03_19 n3_a_stories_10_k03_21 NP n3_a_stories_10_k03_18->n3_a_stories_10_k03_21 n3_a_stories_10_k03_19->n3_a_stories_10_k03_20 n3_a_stories_10_k03_22 D;_nphd_ n3_a_stories_10_k03_21->n3_a_stories_10_k03_22 n3_a_stories_10_k03_24 PP n3_a_stories_10_k03_21->n3_a_stories_10_k03_24 n3_a_stories_10_k03_22->n3_a_stories_10_k03_23 n3_a_stories_10_k03_25 P-ROLE n3_a_stories_10_k03_24->n3_a_stories_10_k03_25 n3_a_stories_10_k03_27 NP n3_a_stories_10_k03_24->n3_a_stories_10_k03_27 n3_a_stories_10_k03_25->n3_a_stories_10_k03_26 n3_a_stories_10_k03_28 NP-GEN n3_a_stories_10_k03_27->n3_a_stories_10_k03_28 n3_a_stories_10_k03_31 NS n3_a_stories_10_k03_27->n3_a_stories_10_k03_31 n3_a_stories_10_k03_33 PP n3_a_stories_10_k03_27->n3_a_stories_10_k03_33 n3_a_stories_10_k03_29 PRO;_genm_ n3_a_stories_10_k03_28->n3_a_stories_10_k03_29 n3_a_stories_10_k03_29->n3_a_stories_10_k03_30 n3_a_stories_10_k03_31->n3_a_stories_10_k03_32 n3_a_stories_10_k03_34 P-ROLE n3_a_stories_10_k03_33->n3_a_stories_10_k03_34 n3_a_stories_10_k03_36 NP n3_a_stories_10_k03_33->n3_a_stories_10_k03_36 n3_a_stories_10_k03_34->n3_a_stories_10_k03_35 n3_a_stories_10_k03_37 N n3_a_stories_10_k03_36->n3_a_stories_10_k03_37 n3_a_stories_10_k03_37->n3_a_stories_10_k03_38 n3_a_stories_10_k03_39->n3_a_stories_10_k03_40 
( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ nice;{nice}))
                  (ADJP (ADJ sunny;{sunny}))
                  (N day;{day}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D;_nphd_ one;{one})
                      (PP (P-ROLE of;{of})
                          (NP (NP-GEN (PRO;_genm_ my;{my}))
                              (NS holidays;{holiday})
                              (PP (P-ROLE from;{from})
                                  (NP (N school;{school})))))))
          (PUNC .))
  (ID 3_a_stories_10_k03))