( (IP-MAT (NP-SBJ (NS Shops;{shop}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ open;{open})
                                (NP (NUM 24)
                                    (NS hours;{hour})
                                    (PRN (NP (D a;{a})
                                             (N day;{day})))
                                    (PUNC ,)
                                    (PRN (NP (NUM seven;{seven})
                                             (NS days;{day})
                                             (PRN (NP (D a;{a})
                                                      (N week;{week}))))))))
          (PUNC .))
  (ID 18_a_fce_0102_2001_06))

arc(r_0018_0002__should,r_0018_0003__be,scope).
arc(r_0018_0003__be,r_0018_0001__Shops,arg0).
arc(r_0018_0003__be,r_0018_0004__open,prd).
arc(r_0018_0004__open,r_0018_0005__24_r_0018_0006__hours,nim).
arc(z_0018_5006,r_0018_0005__24_r_0018_0006__hours,arg0).
arc(z_0018_5006,r_0018_0007__a_r_0018_0008__day,prd).
arc(z_0018_5010,r_0018_0010__seven_r_0018_0011__days,arg0).
arc(z_0018_5010,r_0018_0012__a_r_0018_0013__week,prd).
arc(z_0018_5012,r_0018_0005__24_r_0018_0006__hours,arg0).
arc(z_0018_5012,r_0018_0010__seven_r_0018_0011__days,prd).

fof(formula,axiom,
    ? [R_0018_0001__SHOPS,R_0018_0005__24_R_0018_0006__HOURS,R_0018_0004__OPEN,R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0007__A_R_0018_0008__DAY,Z_0018_5006,R_0018_0010__SEVEN_R_0018_0011__DAYS,R_0018_0012__A_R_0018_0013__WEEK,Z_0018_5010,Z_0018_5012] :
      ( r_0018_0001__Shops(R_0018_0001__SHOPS)
      & r_0018_0005__24_r_0018_0006__hours(R_0018_0005__24_R_0018_0006__HOURS)
      & r_0018_0007__a_r_0018_0008__day(R_0018_0007__A_R_0018_0008__DAY)
      & r_0018_0010__seven_r_0018_0011__days(R_0018_0010__SEVEN_R_0018_0011__DAYS)
      & r_0018_0012__a_r_0018_0013__week(R_0018_0012__A_R_0018_0013__WEEK)
      & z_0018_5012(Z_0018_5012)
      & has_prd(Z_0018_5012,R_0018_0010__SEVEN_R_0018_0011__DAYS)
      & has_arg0(Z_0018_5012,R_0018_0005__24_R_0018_0006__HOURS)
      & z_0018_5010(Z_0018_5010)
      & has_prd(Z_0018_5010,R_0018_0012__A_R_0018_0013__WEEK)
      & has_arg0(Z_0018_5010,R_0018_0010__SEVEN_R_0018_0011__DAYS)
      & z_0018_5006(Z_0018_5006)
      & has_prd(Z_0018_5006,R_0018_0007__A_R_0018_0008__DAY)
      & has_arg0(Z_0018_5006,R_0018_0005__24_R_0018_0006__HOURS)
      & r_0018_0002__should_r_0018_0003__be(R_0018_0002__SHOULD_R_0018_0003__BE)
      & has_prd(R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0004__OPEN)
      & r_0018_0004__open(R_0018_0004__OPEN)
      & has_nim(R_0018_0004__OPEN,R_0018_0005__24_R_0018_0006__HOURS)
      & has_arg0(R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0001__SHOPS) ) ).