Context                Previous, Next                Top


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.

%3 r_0018_0006__had had r_0018_0002__some_r_0018_0003__reason some reason r_0018_0006__had->r_0018_0002__some_r_0018_0003__reason For [nim] r_0018_0007__forgotten forgotten r_0018_0006__had->r_0018_0007__forgotten [scope] r_0018_0004__the_r_0018_0005__orderlies the orderlies r_0018_0007__forgotten->r_0018_0004__the_r_0018_0005__orderlies [arg0] r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on to switch on r_0018_0007__forgotten->r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on [arg1] r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on->r_0018_0004__the_r_0018_0005__orderlies [arg0] r_0018_0011__the_r_0018_0012__lights the lights r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on->r_0018_0011__the_r_0018_0012__lights [arg1] r_0018_0014__there_r_0018_0015__was there was r_0018_0017__colour colour r_0018_0014__there_r_0018_0015__was->r_0018_0017__colour [arg0] r_0018_0016__no_quant no [quant] r_0018_0016__no_quant->r_0018_0014__there_r_0018_0015__was [scope] r_0018_0016__no_quant->r_0018_0017__colour [restriction] r_0018_0020__features features r_0018_0019__physical physical r_0018_0020__features->r_0018_0019__physical [attrib] r_0018_0021__were were r_0018_0021__were->r_0018_0020__features [arg0] r_0018_0022__distinguishable distinguishable r_0018_0021__were->r_0018_0022__distinguishable [prd] r_0018_0025__gradations gradations r_0018_0022__distinguishable->r_0018_0025__gradations solely by r_0018_0028__greyness greyness r_0018_0025__gradations->r_0018_0028__greyness of r_0018_0027__silvery silvery r_0018_0028__greyness->r_0018_0027__silvery [attrib] z_000_18_a_lob_n01_2 z_000_18_a_lob_n01_2->r_0018_0006__had [conj1] z_000_18_a_lob_n01_38 z_000_18_a_lob_n01_2->z_000_18_a_lob_n01_38 [conj2] z_000_18_a_lob_n01_38->r_0018_0016__no_quant [conj1] z_000_18_a_lob_n01_38->r_0018_0021__were [conj2] 
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).


%3 r_0018_0006__had_r_0018_0007__forgotten had forgotten r_0018_0002__some_r_0018_0003__reason some reason r_0018_0006__had_r_0018_0007__forgotten->r_0018_0002__some_r_0018_0003__reason For [nim] r_0018_0004__the_r_0018_0005__orderlies the orderlies r_0018_0006__had_r_0018_0007__forgotten->r_0018_0004__the_r_0018_0005__orderlies [arg0] r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on to switch on r_0018_0006__had_r_0018_0007__forgotten->r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on [arg1] r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on->r_0018_0004__the_r_0018_0005__orderlies [arg0] r_0018_0011__the_r_0018_0012__lights the lights r_0018_0008__to_r_0018_0009__switch_r_0018_0010__on->r_0018_0011__the_r_0018_0012__lights [arg1] r_0018_0014__there_r_0018_0015__was there was r_0018_0017__colour colour r_0018_0014__there_r_0018_0015__was->r_0018_0017__colour [arg0] r_0018_0016__no_quant no [quant] r_0018_0016__no_quant->r_0018_0014__there_r_0018_0015__was [scope] r_0018_0016__no_quant->r_0018_0017__colour [restriction] r_0018_0020__features features r_0018_0019__physical physical r_0018_0020__features->r_0018_0019__physical [attrib] r_0018_0021__were were r_0018_0021__were->r_0018_0020__features [arg0] r_0018_0022__distinguishable distinguishable r_0018_0021__were->r_0018_0022__distinguishable [prd] r_0018_0025__gradations gradations r_0018_0022__distinguishable->r_0018_0025__gradations solely by r_0018_0028__greyness greyness r_0018_0025__gradations->r_0018_0028__greyness of r_0018_0027__silvery silvery r_0018_0028__greyness->r_0018_0027__silvery [attrib] z_000_18_a_lob_n01_2 z_000_18_a_lob_n01_2->r_0018_0006__had_r_0018_0007__forgotten [conj1] z_000_18_a_lob_n01_38 z_000_18_a_lob_n01_2->z_000_18_a_lob_n01_38 [conj2] z_000_18_a_lob_n01_38->r_0018_0016__no_quant [conj1] 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) ) ).


n18_a_lob_n01 n18_a_lob_n01_6 For n18_a_lob_n01_9 some n18_a_lob_n01_11 reason n18_a_lob_n01_14 the n18_a_lob_n01_16 orderlies n18_a_lob_n01_18 had n18_a_lob_n01_21 forgotten n18_a_lob_n01_24 to n18_a_lob_n01_26 switch n18_a_lob_n01_28 on n18_a_lob_n01_31 the n18_a_lob_n01_33 lights n18_a_lob_n01_35 ; n18_a_lob_n01_41 there n18_a_lob_n01_43 was n18_a_lob_n01_46 no n18_a_lob_n01_48 colour n18_a_lob_n01_50 <mdash> n18_a_lob_n01_56 physical n18_a_lob_n01_58 features n18_a_lob_n01_60 were n18_a_lob_n01_63 distinguishable n18_a_lob_n01_66 solely n18_a_lob_n01_68 by n18_a_lob_n01_71 gradations n18_a_lob_n01_74 of n18_a_lob_n01_78 silvery n18_a_lob_n01_80 greyness n18_a_lob_n01_82 . n18_a_lob_n01_1 IP-MAT n18_a_lob_n01_2 ILYR n18_a_lob_n01_1->n18_a_lob_n01_2 n18_a_lob_n01_81 PUNC n18_a_lob_n01_1->n18_a_lob_n01_81 n18_a_lob_n01_3 ILYR n18_a_lob_n01_2->n18_a_lob_n01_3 n18_a_lob_n01_34 PUNC n18_a_lob_n01_2->n18_a_lob_n01_34 n18_a_lob_n01_36 CONJP n18_a_lob_n01_2->n18_a_lob_n01_36 n18_a_lob_n01_4 PP-NIM n18_a_lob_n01_3->n18_a_lob_n01_4 n18_a_lob_n01_12 NP-SBJ n18_a_lob_n01_3->n18_a_lob_n01_12 n18_a_lob_n01_17 HVD;_cat_Ve_ n18_a_lob_n01_3->n18_a_lob_n01_17 n18_a_lob_n01_19 IP-PPL-CAT n18_a_lob_n01_3->n18_a_lob_n01_19 n18_a_lob_n01_5 P-ROLE n18_a_lob_n01_4->n18_a_lob_n01_5 n18_a_lob_n01_7 NP n18_a_lob_n01_4->n18_a_lob_n01_7 n18_a_lob_n01_5->n18_a_lob_n01_6 n18_a_lob_n01_8 D n18_a_lob_n01_7->n18_a_lob_n01_8 n18_a_lob_n01_10 N n18_a_lob_n01_7->n18_a_lob_n01_10 n18_a_lob_n01_8->n18_a_lob_n01_9 n18_a_lob_n01_10->n18_a_lob_n01_11 n18_a_lob_n01_13 D n18_a_lob_n01_12->n18_a_lob_n01_13 n18_a_lob_n01_15 NS n18_a_lob_n01_12->n18_a_lob_n01_15 n18_a_lob_n01_13->n18_a_lob_n01_14 n18_a_lob_n01_15->n18_a_lob_n01_16 n18_a_lob_n01_17->n18_a_lob_n01_18 n18_a_lob_n01_20 VVN;_Tt_ n18_a_lob_n01_19->n18_a_lob_n01_20 n18_a_lob_n01_22 IP-INF-OB1 n18_a_lob_n01_19->n18_a_lob_n01_22 n18_a_lob_n01_20->n18_a_lob_n01_21 n18_a_lob_n01_23 TO n18_a_lob_n01_22->n18_a_lob_n01_23 n18_a_lob_n01_25 VB;_phr_Vn<=>p_ n18_a_lob_n01_22->n18_a_lob_n01_25 n18_a_lob_n01_27 RP n18_a_lob_n01_22->n18_a_lob_n01_27 n18_a_lob_n01_29 NP-OB1 n18_a_lob_n01_22->n18_a_lob_n01_29 n18_a_lob_n01_23->n18_a_lob_n01_24 n18_a_lob_n01_25->n18_a_lob_n01_26 n18_a_lob_n01_27->n18_a_lob_n01_28 n18_a_lob_n01_30 D n18_a_lob_n01_29->n18_a_lob_n01_30 n18_a_lob_n01_32 NS n18_a_lob_n01_29->n18_a_lob_n01_32 n18_a_lob_n01_30->n18_a_lob_n01_31 n18_a_lob_n01_32->n18_a_lob_n01_33 n18_a_lob_n01_34->n18_a_lob_n01_35 n18_a_lob_n01_37 ILYR n18_a_lob_n01_36->n18_a_lob_n01_37 n18_a_lob_n01_38 ILYR n18_a_lob_n01_37->n18_a_lob_n01_38 n18_a_lob_n01_39 ILYR n18_a_lob_n01_38->n18_a_lob_n01_39 n18_a_lob_n01_49 PUNC n18_a_lob_n01_38->n18_a_lob_n01_49 n18_a_lob_n01_51 CONJP n18_a_lob_n01_38->n18_a_lob_n01_51 n18_a_lob_n01_40 EX n18_a_lob_n01_39->n18_a_lob_n01_40 n18_a_lob_n01_42 BED;_ex_V_ n18_a_lob_n01_39->n18_a_lob_n01_42 n18_a_lob_n01_44 NP-ESBJ n18_a_lob_n01_39->n18_a_lob_n01_44 n18_a_lob_n01_40->n18_a_lob_n01_41 n18_a_lob_n01_42->n18_a_lob_n01_43 n18_a_lob_n01_45 Q n18_a_lob_n01_44->n18_a_lob_n01_45 n18_a_lob_n01_47 N n18_a_lob_n01_44->n18_a_lob_n01_47 n18_a_lob_n01_45->n18_a_lob_n01_46 n18_a_lob_n01_47->n18_a_lob_n01_48 n18_a_lob_n01_49->n18_a_lob_n01_50 n18_a_lob_n01_52 ILYR n18_a_lob_n01_51->n18_a_lob_n01_52 n18_a_lob_n01_53 NP-SBJ n18_a_lob_n01_52->n18_a_lob_n01_53 n18_a_lob_n01_59 BED;_La_ n18_a_lob_n01_52->n18_a_lob_n01_59 n18_a_lob_n01_61 ADJP-PRD n18_a_lob_n01_52->n18_a_lob_n01_61 n18_a_lob_n01_54 ADJP n18_a_lob_n01_53->n18_a_lob_n01_54 n18_a_lob_n01_57 NS n18_a_lob_n01_53->n18_a_lob_n01_57 n18_a_lob_n01_55 ADJ n18_a_lob_n01_54->n18_a_lob_n01_55 n18_a_lob_n01_55->n18_a_lob_n01_56 n18_a_lob_n01_57->n18_a_lob_n01_58 n18_a_lob_n01_59->n18_a_lob_n01_60 n18_a_lob_n01_62 ADJ n18_a_lob_n01_61->n18_a_lob_n01_62 n18_a_lob_n01_64 PP n18_a_lob_n01_61->n18_a_lob_n01_64 n18_a_lob_n01_62->n18_a_lob_n01_63 n18_a_lob_n01_65 ADV n18_a_lob_n01_64->n18_a_lob_n01_65 n18_a_lob_n01_67 P-ROLE n18_a_lob_n01_64->n18_a_lob_n01_67 n18_a_lob_n01_69 NP n18_a_lob_n01_64->n18_a_lob_n01_69 n18_a_lob_n01_65->n18_a_lob_n01_66 n18_a_lob_n01_67->n18_a_lob_n01_68 n18_a_lob_n01_70 NS n18_a_lob_n01_69->n18_a_lob_n01_70 n18_a_lob_n01_72 PP n18_a_lob_n01_69->n18_a_lob_n01_72 n18_a_lob_n01_70->n18_a_lob_n01_71 n18_a_lob_n01_73 P-ROLE n18_a_lob_n01_72->n18_a_lob_n01_73 n18_a_lob_n01_75 NP n18_a_lob_n01_72->n18_a_lob_n01_75 n18_a_lob_n01_73->n18_a_lob_n01_74 n18_a_lob_n01_76 ADJP n18_a_lob_n01_75->n18_a_lob_n01_76 n18_a_lob_n01_79 N n18_a_lob_n01_75->n18_a_lob_n01_79 n18_a_lob_n01_77 ADJ n18_a_lob_n01_76->n18_a_lob_n01_77 n18_a_lob_n01_77->n18_a_lob_n01_78 n18_a_lob_n01_79->n18_a_lob_n01_80 n18_a_lob_n01_81->n18_a_lob_n01_82 
( (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))