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,
    ? [R_0018_0002__SOME_R_0018_0003__REASON,R_0018_0004__THE_R_0018_0005__ORDERLIES,R_0018_0011__THE_R_0018_0012__LIGHTS,R_0018_0008__TO_R_0018_0009__SWITCH_R_0018_0010__ON,R_0018_0006__HAD_R_0018_0007__FORGOTTEN,R_0018_0019__PHYSICAL,R_0018_0020__FEATURES,R_0018_0027__SILVERY,R_0018_0028__GREYNESS,R_0018_0025__GRADATIONS,R_0018_0022__DISTINGUISHABLE,R_0018_0021__WERE,Z_000_18_A_LOB_N01_38,Z_000_18_A_LOB_N01_2] :
      ( r_0018_0002__some_r_0018_0003__reason(R_0018_0002__SOME_R_0018_0003__REASON)
      & r_0018_0004__the_r_0018_0005__orderlies(R_0018_0004__THE_R_0018_0005__ORDERLIES)
      & r_0018_0011__the_r_0018_0012__lights(R_0018_0011__THE_R_0018_0012__LIGHTS)
      & r_0018_0019__physical(R_0018_0019__PHYSICAL)
      & r_0018_0027__silvery(R_0018_0027__SILVERY)
      & z_000_18_a_lob_n01_2(Z_000_18_A_LOB_N01_2)
      & has_conj2(Z_000_18_A_LOB_N01_2,Z_000_18_A_LOB_N01_38)
      & z_000_18_a_lob_n01_38(Z_000_18_A_LOB_N01_38)
      & has_conj2(Z_000_18_A_LOB_N01_38,R_0018_0021__WERE)
      & r_0018_0021__were(R_0018_0021__WERE)
      & has_prd(R_0018_0021__WERE,R_0018_0022__DISTINGUISHABLE)
      & r_0018_0022__distinguishable(R_0018_0022__DISTINGUISHABLE)
      & has_r_0018_0023__solely_r_0018_0024__by(R_0018_0022__DISTINGUISHABLE,R_0018_0025__GRADATIONS)
      & r_0018_0025__gradations(R_0018_0025__GRADATIONS)
      & has_r_0018_0026__of(R_0018_0025__GRADATIONS,R_0018_0028__GREYNESS)
      & r_0018_0028__greyness(R_0018_0028__GREYNESS)
      & has_attrib76(R_0018_0028__GREYNESS,R_0018_0027__SILVERY)
      & has_arg0(R_0018_0021__WERE,R_0018_0020__FEATURES)
      & r_0018_0020__features(R_0018_0020__FEATURES)
      & has_attrib54(R_0018_0020__FEATURES,R_0018_0019__PHYSICAL)
      & ! [R_0018_0017__COLOUR] :
          ( r_0018_0017__colour(R_0018_0017__COLOUR)
         => ? [R_0018_0014__THERE_R_0018_0015__WAS] :
              ( r_0018_0014__there_r_0018_0015__was(R_0018_0014__THERE_R_0018_0015__WAS)
              & has_arg0(R_0018_0014__THERE_R_0018_0015__WAS,R_0018_0017__COLOUR) ) )
      & has_conj1(Z_000_18_A_LOB_N01_2,R_0018_0006__HAD_R_0018_0007__FORGOTTEN)
      & r_0018_0006__had_r_0018_0007__forgotten(R_0018_0006__HAD_R_0018_0007__FORGOTTEN)
      & has_arg1(R_0018_0006__HAD_R_0018_0007__FORGOTTEN,R_0018_0008__TO_R_0018_0009__SWITCH_R_0018_0010__ON)
      & r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on(R_0018_0008__TO_R_0018_0009__SWITCH_R_0018_0010__ON)
      & has_arg1(R_0018_0008__TO_R_0018_0009__SWITCH_R_0018_0010__ON,R_0018_0011__THE_R_0018_0012__LIGHTS)
      & has_arg0(R_0018_0008__TO_R_0018_0009__SWITCH_R_0018_0010__ON,R_0018_0004__THE_R_0018_0005__ORDERLIES)
      & has_arg0(R_0018_0006__HAD_R_0018_0007__FORGOTTEN,R_0018_0004__THE_R_0018_0005__ORDERLIES)
      & has_r_0018_0001__For_nim7(R_0018_0006__HAD_R_0018_0007__FORGOTTEN,R_0018_0002__SOME_R_0018_0003__REASON) ) ).

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