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_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_0008__one one r_0003_0003__a_r_0003_0006__day->r_0003_0008__one in 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_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_0003__a_r_0003_0006__day, r_0003_0008__one, r_0003_0007__in).
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_0011__holidays holidays r_0003_0013__school school r_0003_0011__holidays->r_0003_0013__school from r_0003_0010__my my r_0003_0011__holidays->r_0003_0010__my [gen] r_0003_0008__one one r_0003_0008__one->r_0003_0011__holidays of r_0003_0003__a_r_0003_0006__day a day r_0003_0003__a_r_0003_0006__day->r_0003_0008__one in r_0003_0005__sunny sunny r_0003_0003__a_r_0003_0006__day->r_0003_0005__sunny [attrib] r_0003_0004__nice nice r_0003_0003__a_r_0003_0006__day->r_0003_0004__nice [attrib] r_0003_0002__was was r_0003_0002__was->r_0003_0003__a_r_0003_0006__day [prd] 
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(R_3_3_A_DAY,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__1_1_1_1 It n3_a_stories_10_k03__1_2_1 was n3_a_stories_10_k03__1_3_1_1 a n3_a_stories_10_k03__1_3_2_1_1 nice n3_a_stories_10_k03__1_3_3_1_1 sunny n3_a_stories_10_k03__1_3_4_1 day n3_a_stories_10_k03__1_3_5_1_1 in n3_a_stories_10_k03__1_3_5_2_1_1 one n3_a_stories_10_k03__1_3_5_2_2_1_1 of n3_a_stories_10_k03__1_3_5_2_2_2_1_1_1 my n3_a_stories_10_k03__1_3_5_2_2_2_2_1 holidays n3_a_stories_10_k03__1_3_5_2_2_2_3_1_1 from n3_a_stories_10_k03__1_3_5_2_2_2_3_2_1_1 school n3_a_stories_10_k03__1_4_1 . n3_a_stories_10_k03__1 IP-MAT n3_a_stories_10_k03__1_1 NP-SBJ n3_a_stories_10_k03__1->n3_a_stories_10_k03__1_1 n3_a_stories_10_k03__1_2 BED;_Ln_ n3_a_stories_10_k03__1->n3_a_stories_10_k03__1_2 n3_a_stories_10_k03__1_3 NP-PRD n3_a_stories_10_k03__1->n3_a_stories_10_k03__1_3 n3_a_stories_10_k03__1_4 PUNC n3_a_stories_10_k03__1->n3_a_stories_10_k03__1_4 n3_a_stories_10_k03__1_1_1 PRO;_expletive_ n3_a_stories_10_k03__1_1->n3_a_stories_10_k03__1_1_1 n3_a_stories_10_k03__1_1_1->n3_a_stories_10_k03__1_1_1_1 n3_a_stories_10_k03__1_2->n3_a_stories_10_k03__1_2_1 n3_a_stories_10_k03__1_3_1 D n3_a_stories_10_k03__1_3->n3_a_stories_10_k03__1_3_1 n3_a_stories_10_k03__1_3_2 ADJP n3_a_stories_10_k03__1_3->n3_a_stories_10_k03__1_3_2 n3_a_stories_10_k03__1_3_3 ADJP n3_a_stories_10_k03__1_3->n3_a_stories_10_k03__1_3_3 n3_a_stories_10_k03__1_3_4 N n3_a_stories_10_k03__1_3->n3_a_stories_10_k03__1_3_4 n3_a_stories_10_k03__1_3_5 PP n3_a_stories_10_k03__1_3->n3_a_stories_10_k03__1_3_5 n3_a_stories_10_k03__1_3_1->n3_a_stories_10_k03__1_3_1_1 n3_a_stories_10_k03__1_3_2_1 ADJ n3_a_stories_10_k03__1_3_2->n3_a_stories_10_k03__1_3_2_1 n3_a_stories_10_k03__1_3_2_1->n3_a_stories_10_k03__1_3_2_1_1 n3_a_stories_10_k03__1_3_3_1 ADJ n3_a_stories_10_k03__1_3_3->n3_a_stories_10_k03__1_3_3_1 n3_a_stories_10_k03__1_3_3_1->n3_a_stories_10_k03__1_3_3_1_1 n3_a_stories_10_k03__1_3_4->n3_a_stories_10_k03__1_3_4_1 n3_a_stories_10_k03__1_3_5_1 P-ROLE n3_a_stories_10_k03__1_3_5->n3_a_stories_10_k03__1_3_5_1 n3_a_stories_10_k03__1_3_5_2 NP n3_a_stories_10_k03__1_3_5->n3_a_stories_10_k03__1_3_5_2 n3_a_stories_10_k03__1_3_5_1->n3_a_stories_10_k03__1_3_5_1_1 n3_a_stories_10_k03__1_3_5_2_1 D;_nphd_ n3_a_stories_10_k03__1_3_5_2->n3_a_stories_10_k03__1_3_5_2_1 n3_a_stories_10_k03__1_3_5_2_2 PP n3_a_stories_10_k03__1_3_5_2->n3_a_stories_10_k03__1_3_5_2_2 n3_a_stories_10_k03__1_3_5_2_1->n3_a_stories_10_k03__1_3_5_2_1_1 n3_a_stories_10_k03__1_3_5_2_2_1 P-ROLE n3_a_stories_10_k03__1_3_5_2_2->n3_a_stories_10_k03__1_3_5_2_2_1 n3_a_stories_10_k03__1_3_5_2_2_2 NP n3_a_stories_10_k03__1_3_5_2_2->n3_a_stories_10_k03__1_3_5_2_2_2 n3_a_stories_10_k03__1_3_5_2_2_1->n3_a_stories_10_k03__1_3_5_2_2_1_1 n3_a_stories_10_k03__1_3_5_2_2_2_1 NP-GEN n3_a_stories_10_k03__1_3_5_2_2_2->n3_a_stories_10_k03__1_3_5_2_2_2_1 n3_a_stories_10_k03__1_3_5_2_2_2_2 NS n3_a_stories_10_k03__1_3_5_2_2_2->n3_a_stories_10_k03__1_3_5_2_2_2_2 n3_a_stories_10_k03__1_3_5_2_2_2_3 PP n3_a_stories_10_k03__1_3_5_2_2_2->n3_a_stories_10_k03__1_3_5_2_2_2_3 n3_a_stories_10_k03__1_3_5_2_2_2_1_1 PRO;_genm_ n3_a_stories_10_k03__1_3_5_2_2_2_1->n3_a_stories_10_k03__1_3_5_2_2_2_1_1 n3_a_stories_10_k03__1_3_5_2_2_2_1_1->n3_a_stories_10_k03__1_3_5_2_2_2_1_1_1 n3_a_stories_10_k03__1_3_5_2_2_2_2->n3_a_stories_10_k03__1_3_5_2_2_2_2_1 n3_a_stories_10_k03__1_3_5_2_2_2_3_1 P-ROLE n3_a_stories_10_k03__1_3_5_2_2_2_3->n3_a_stories_10_k03__1_3_5_2_2_2_3_1 n3_a_stories_10_k03__1_3_5_2_2_2_3_2 NP n3_a_stories_10_k03__1_3_5_2_2_2_3->n3_a_stories_10_k03__1_3_5_2_2_2_3_2 n3_a_stories_10_k03__1_3_5_2_2_2_3_1->n3_a_stories_10_k03__1_3_5_2_2_2_3_1_1 n3_a_stories_10_k03__1_3_5_2_2_2_3_2_1 N n3_a_stories_10_k03__1_3_5_2_2_2_3_2->n3_a_stories_10_k03__1_3_5_2_2_2_3_2_1 n3_a_stories_10_k03__1_3_5_2_2_2_3_2_1->n3_a_stories_10_k03__1_3_5_2_2_2_3_2_1_1 n3_a_stories_10_k03__1_4->n3_a_stories_10_k03__1_4_1 
( (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 (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))