TSPC 3_a_stories_10

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

( (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))

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,attrib).
arc(r_0003_0003__a_r_0003_0006__day,r_0003_0005__sunny,attrib).
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).

fof(formula,axiom,
    ? [R_0003_0004__NICE,R_0003_0005__SUNNY,R_0003_0010__MY,R_0003_0013__SCHOOL,R_0003_0011__HOLIDAYS,R_0003_0008__ONE,R_0003_0003__A_R_0003_0006__DAY,R_0003_0002__WAS] :
      ( r_0003_0004__nice(R_0003_0004__NICE)
      & r_0003_0005__sunny(R_0003_0005__SUNNY)
      & r_0003_0010__my(R_0003_0010__MY)
      & r_0003_0013__school(R_0003_0013__SCHOOL)
      & r_0003_0002__was(R_0003_0002__WAS)
      & has_prd(R_0003_0002__WAS,R_0003_0003__A_R_0003_0006__DAY)
      & r_0003_0003__a_r_0003_0006__day(R_0003_0003__A_R_0003_0006__DAY)
      & has_r_0003_0007__in(R_0003_0003__A_R_0003_0006__DAY,R_0003_0008__ONE)
      & r_0003_0008__one(R_0003_0008__ONE)
      & has_r_0003_0009__of(R_0003_0008__ONE,R_0003_0011__HOLIDAYS)
      & r_0003_0011__holidays(R_0003_0011__HOLIDAYS)
      & has_r_0003_0012__from(R_0003_0011__HOLIDAYS,R_0003_0013__SCHOOL)
      & has_gen(R_0003_0011__HOLIDAYS,R_0003_0010__MY)
      & has_attrib(R_0003_0003__A_R_0003_0006__DAY,R_0003_0005__SUNNY)
      & has_attrib(R_0003_0003__A_R_0003_0006__DAY,R_0003_0004__NICE) ) ).