TSPC 18_a_lob

18_a_lob_n01
For some reason the orderlies had forgotten to switch on the lights; there was no colour — physical features were distinguishable solely by gradations of silvery greyness.

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

arc(r_0018_0006__had,r_0018_0002__some_r_0018_0003__reason,r_0018_0001__For__nim).
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_0009__switch_r_0018_0010__on,arg1).
arc(r_0018_0009__switch_r_0018_0010__on,r_0018_0004__the_r_0018_0005__orderlies,arg0).
arc(r_0018_0009__switch_r_0018_0010__on,r_0018_0011__the_r_0018_0012__lights,arg1).
arc(r_0018_0015__was,r_0018_0017__colour,arg0).
arc(r_0018_0016__no__quant,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,attrib).
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,attrib).
arc(z_0018_5001,r_0018_0006__had,conj1).
arc(z_0018_5001,z_0018_5010,conj2).
arc(z_0018_5010,r_0018_0016__no__quant,conj1).
arc(z_0018_5010,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_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_0018_5010,Z_0018_5001] :
      ( 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_0018_5001(Z_0018_5001)
      & has_conj2(Z_0018_5001,Z_0018_5010)
      & z_0018_5010(Z_0018_5010)
      & has_conj2(Z_0018_5010,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_attrib(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_attrib(R_0018_0020__FEATURES,R_0018_0019__PHYSICAL)
      & ! [R_0018_0017__COLOUR] :
          ( r_0018_0017__colour(R_0018_0017__COLOUR)
         => ? [R_0018_0015__WAS] :
              ( r_0018_0015__was(R_0018_0015__WAS)
              & has_arg0(R_0018_0015__WAS,R_0018_0017__COLOUR) ) )
      & has_conj1(Z_0018_5001,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_0009__SWITCH_R_0018_0010__ON)
      & r_0018_0009__switch_r_0018_0010__on(R_0018_0009__SWITCH_R_0018_0010__ON)
      & has_arg1(R_0018_0009__SWITCH_R_0018_0010__ON,R_0018_0011__THE_R_0018_0012__LIGHTS)
      & has_arg0(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__nim(R_0018_0006__HAD_R_0018_0007__FORGOTTEN,R_0018_0002__SOME_R_0018_0003__REASON) ) ).