arc(r_0018_0006__had, r_0018_0002__some_r_0018_0003__reason, r_0018_0001__For_nim7).
arc(r_0018_0006__had, r_0018_0007__forgotten, scope).
arc(r_0018_0007__forgotten, r_0018_0004__the_r_0018_0005__orderlies, arg0).
arc(r_0018_0007__forgotten, r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on, arg1).
arc(r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on, r_0018_0004__the_r_0018_0005__orderlies, arg0).
arc(r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on, r_0018_0011__the_r_0018_0012__lights, arg1).
arc(r_0018_0014__there_r_0018_0015__was, r_0018_0017__colour, arg0).
arc(r_0018_0016__no_quant, r_0018_0014__there_r_0018_0015__was, scope).
arc(r_0018_0016__no_quant, r_0018_0017__colour, restriction).
arc(r_0018_0020__features, r_0018_0019__physical, attrib54).
arc(r_0018_0021__were, r_0018_0020__features, arg0).
arc(r_0018_0021__were, r_0018_0022__distinguishable, prd).
arc(r_0018_0022__distinguishable, r_0018_0025__gradations, r_0018_0023__solely_r_0018_0024__by).
arc(r_0018_0025__gradations, r_0018_0028__greyness, r_0018_0026__of).
arc(r_0018_0028__greyness, r_0018_0027__silvery, attrib76).
arc(z_000_18_a_lob_n01_2, r_0018_0006__had, conj1).
arc(z_000_18_a_lob_n01_2, z_000_18_a_lob_n01_38, conj2).
arc(z_000_18_a_lob_n01_38, r_0018_0016__no_quant, conj1).
arc(z_000_18_a_lob_n01_38, r_0018_0021__were, conj2).

fof(formula,axiom,
    ? [Z_18_A_LOB_N01_2,R_18_6_HAD_FORGOTTEN,R_18_8_TO_SWITCH_ON,R_18_4_THE_ORDERLIES,R_18_11_THE_LIGHTS,R_18_2_SOME_REASON,Z_18_A_LOB_N01_38,R_18_21_WERE,R_18_20_FEATURES,R_18_19_PHYSICAL,R_18_22_DISTINGUISHABLE,R_18_25_GRADATIONS,R_18_28_GREYNESS,R_18_27_SILVERY] :
      ( the_orderlies(R_18_4_THE_ORDERLIES)
      & the_lights(R_18_11_THE_LIGHTS)
      & some_reason(R_18_2_SOME_REASON)
      & physical(R_18_19_PHYSICAL)
      & silvery(R_18_27_SILVERY)
      & z_18_a_lob_n01_2(Z_18_A_LOB_N01_2)
      & conj1(Z_18_A_LOB_N01_2,R_18_6_HAD_FORGOTTEN)
      & had_forgotten(R_18_6_HAD_FORGOTTEN,R_18_4_THE_ORDERLIES,R_18_8_TO_SWITCH_ON)
      & to_switch_on(R_18_8_TO_SWITCH_ON,R_18_4_THE_ORDERLIES,R_18_11_THE_LIGHTS)
      & for_nim7(R_18_6_HAD_FORGOTTEN,R_18_2_SOME_REASON)
      & conj2(Z_18_A_LOB_N01_2,Z_18_A_LOB_N01_38)
      & ! [R_18_17_COLOUR] :
          ( colour(R_18_17_COLOUR)
         => ? [R_18_14_THERE_WAS] : there_was(R_18_14_THERE_WAS,R_18_17_COLOUR) )
      & conj1(CONJ1)
      & z_18_a_lob_n01_38(Z_18_A_LOB_N01_38)
      & conj2(Z_18_A_LOB_N01_38,R_18_21_WERE)
      & were(R_18_21_WERE,R_18_20_FEATURES,R_18_22_DISTINGUISHABLE)
      & features(R_18_20_FEATURES)
      & attrib54(R_18_20_FEATURES,R_18_19_PHYSICAL)
      & distinguishable(R_18_22_DISTINGUISHABLE)
      & solely_by(R_18_22_DISTINGUISHABLE,R_18_25_GRADATIONS)
      & gradations(R_18_25_GRADATIONS)
      & of(R_18_25_GRADATIONS,R_18_28_GREYNESS)
      & greyness(R_18_28_GREYNESS)
      & attrib76(R_18_28_GREYNESS,R_18_27_SILVERY) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE For;{for})
                              (NP (D some;{some})
                                  (N reason;{reason})))
                      (NP-SBJ (D the;{the})
                              (NS orderlies;{orderly}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_Tt_ forgotten;{forget})
                                  (IP-INF-OB1 (TO to;{to})
                                              (VB;_phr_Vn<=>p_ switch;{switch[on]})
                                              (RP on;{on})
                                              (NP-OB1 (D the;{the})
                                                      (NS lights;{light})))))
                (PUNC ;)
                (CONJP (ILYR (ILYR (ILYR (EX there;{there})
                                         (BED;_ex_V_ was;{be})
                                         (NP-ESBJ (Q no;{no})
                                                  (N colour;{colour})))
                                   (PUNC <mdash>)
                                   (CONJP (ILYR (NP-SBJ (ADJP (ADJ physical;{physical}))
                                                        (NS features;{feature}))
                                                (BED;_La_ were;{be})
                                                (ADJP-PRD (ADJ distinguishable;{distinguishable})
                                                          (PP (ADV solely;{solely})
                                                              (P-ROLE by;{by})
                                                              (NP (NS gradations;{gradation})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (ADJP (ADJ silvery;{silvery}))
                                                                          (N greyness;{greyness}))))))))))))
          (PUNC .))
  (ID 18_a_lob_n01))