arc(r_0048_0002__a_r_0048_0004__hours, r_0048_0003__few, attrib8).
arc(r_0048_0002__a_r_0048_0004__hours, r_0048_0006__week, nim13).
arc(r_0048_0005__each_quant, r_0048_0002__a_r_0048_0004__hours, scope).
arc(r_0048_0005__each_quant, r_0048_0006__week, restriction).
arc(r_0048_0008__was, r_0048_0002__a_r_0048_0004__hours, r_0048_0001__For_nim5).
arc(r_0048_0008__was, r_0048_0007__I, arg0).
arc(r_0048_0008__was, r_0048_0010__duty, r_0048_0009__on_clr26).
arc(r_0048_0008__was, r_0048_0012__Alresford_r_0048_0013__Library, r_0048_0011__in_nim32).
arc(r_0048_0015__a_r_0048_0016__haven, r_0048_0018__civilisation, r_0048_0017__of).
arc(r_0048_0015__a_r_0048_0016__haven, r_0048_0020__one_r_0048_0021__day, r_0048_0019__except).
arc(r_0048_0020__one_r_0048_0021__day, r_0048_0024__rain, r_0048_0022__after).
arc(r_0048_0024__rain, r_0048_0023__heavy, attrib63).
arc(r_0048_0027__was, r_0048_0020__one_r_0048_0021__day, nim69).
arc(r_0048_0027__was, r_0048_0028__flooded, scope).
arc(r_0048_0028__flooded, r_0048_0012__Alresford_r_0048_0013__Library, arg1).
arc(r_0048_0028__flooded, z_000_48_a_alresford_78, arg0).
arc(z_000_48_a_alresford_39, r_0048_0012__Alresford_r_0048_0013__Library, arg0).
arc(z_000_48_a_alresford_39, r_0048_0015__a_r_0048_0016__haven, prd).

fof(formula,axiom,
    ? [R_0048_0023__HEAVY,R_0048_0024__RAIN,R_0048_0020__ONE_R_0048_0021__DAY,R_0048_0012__ALRESFORD_R_0048_0013__LIBRARY,Z_000_48_A_ALRESFORD_78,R_0048_0027__WAS_R_0048_0028__FLOODED,R_0048_0018__CIVILISATION,R_0048_0015__A_R_0048_0016__HAVEN,Z_000_48_A_ALRESFORD_39] :
      ( r_0048_0012__Alresford_r_0048_0013__Library(R_0048_0012__ALRESFORD_R_0048_0013__LIBRARY)
      & r_0048_0018__civilisation(R_0048_0018__CIVILISATION)
      & r_0048_0023__heavy(R_0048_0023__HEAVY)
      & z_000_48_a_alresford_78(Z_000_48_A_ALRESFORD_78)
      & z_000_48_a_alresford_39(Z_000_48_A_ALRESFORD_39)
      & has_prd(Z_000_48_A_ALRESFORD_39,R_0048_0015__A_R_0048_0016__HAVEN)
      & r_0048_0015__a_r_0048_0016__haven(R_0048_0015__A_R_0048_0016__HAVEN)
      & has_r_0048_0019__except(R_0048_0015__A_R_0048_0016__HAVEN,R_0048_0020__ONE_R_0048_0021__DAY)
      & r_0048_0020__one_r_0048_0021__day(R_0048_0020__ONE_R_0048_0021__DAY)
      & has_r_0048_0022__after(R_0048_0020__ONE_R_0048_0021__DAY,R_0048_0024__RAIN)
      & r_0048_0024__rain(R_0048_0024__RAIN)
      & has_attrib63(R_0048_0024__RAIN,R_0048_0023__HEAVY)
      & has_r_0048_0017__of(R_0048_0015__A_R_0048_0016__HAVEN,R_0048_0018__CIVILISATION)
      & has_arg0(Z_000_48_A_ALRESFORD_39,R_0048_0012__ALRESFORD_R_0048_0013__LIBRARY)
      & r_0048_0027__was_r_0048_0028__flooded(R_0048_0027__WAS_R_0048_0028__FLOODED)
      & has_arg0(R_0048_0027__WAS_R_0048_0028__FLOODED,Z_000_48_A_ALRESFORD_78)
      & has_arg1(R_0048_0027__WAS_R_0048_0028__FLOODED,R_0048_0012__ALRESFORD_R_0048_0013__LIBRARY)
      & has_nim69(R_0048_0027__WAS_R_0048_0028__FLOODED,R_0048_0020__ONE_R_0048_0021__DAY)
      & ! [R_0048_0006__WEEK] :
          ( r_0048_0006__week(R_0048_0006__WEEK)
         => ? [R_0048_0003__FEW,R_0048_0002__A_R_0048_0004__HOURS,R_0048_0007__I,R_0048_0010__DUTY,R_0048_0008__WAS] :
              ( r_0048_0003__few(R_0048_0003__FEW)
              & r_0048_0007__I(R_0048_0007__I)
              & r_0048_0010__duty(R_0048_0010__DUTY)
              & r_0048_0008__was(R_0048_0008__WAS)
              & has_r_0048_0011__in_nim32(R_0048_0008__WAS,R_0048_0012__ALRESFORD_R_0048_0013__LIBRARY)
              & has_r_0048_0009__on_clr26(R_0048_0008__WAS,R_0048_0010__DUTY)
              & has_arg0(R_0048_0008__WAS,R_0048_0007__I)
              & has_r_0048_0001__For_nim5(R_0048_0008__WAS,R_0048_0002__A_R_0048_0004__HOURS)
              & r_0048_0002__a_r_0048_0004__hours(R_0048_0002__A_R_0048_0004__HOURS)
              & has_nim13(R_0048_0002__A_R_0048_0004__HOURS,R_0048_0006__WEEK)
              & has_attrib8(R_0048_0002__A_R_0048_0004__HOURS,R_0048_0003__FEW) ) ) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE For;{for})
                      (NP (D a;{a})
                          (ADJP (ADJ few;{few}))
                          (NS hours;{hour})
                          (NP-NIM (Q each;{each})
                                  (N week;{week}))))
          (NP-SBJ (PRO I;{I}))
          (BED;_Ipr_ was;{be[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (N duty;{duty})))
          (PP-NIM (P-ROLE in;{in})
                  (NP;{LIBRARY} (NPR Alresford;{Alresford})
                                (NPR Library;{Library})
                                (PUNC ,)
                                (IP-PPL (NP-PRD (D a;{a})
                                                (N haven;{haven})
                                                (PP (P-ROLE of;{of})
                                                    (NP (N civilisation;{civilisation})))
                                                (PP (P-ROLE except;{except})
                                                    (NP (D one;{one})
                                                        (N day;{day})
                                                        (PP (P-ROLE after;{after})
                                                            (NP (ADJP (ADJ heavy;{heavy}))
                                                                (N rain;{rain})))
                                                        (IP-REL (ADVP-NIM (RADV when;{when}))
                                                                (NP-SBJ;{LIBRARY} (PRO it;{it}))
                                                                (BED;_cat_VePASS_ was;{be})
                                                                (IP-PPL-CAT (NP-LGS *)
                                                                            (VVN;_Tn_ flooded;{flood})))))))))
          (PUNC .))
  (ID 48_a_alresford))