100_a_dick_1952
Nasha and Fomar were sitting at the table in the control room, pale and solemn, studying the inventory lists.

%3 r_0100_0002__and and r_0100_0001__Nasha Nasha r_0100_0002__and->r_0100_0001__Nasha [conj1] r_0100_0003__Fomar Fomar r_0100_0002__and->r_0100_0003__Fomar [conj2] r_0100_0004__were were r_0100_0005__sitting sitting r_0100_0004__were->r_0100_0005__sitting [scope] r_0100_0015__and and r_0100_0004__were->r_0100_0015__and [attrib] r_0100_0005__sitting->r_0100_0002__and [arg0] r_0100_0007__the_r_0100_0008__table the table r_0100_0005__sitting->r_0100_0007__the_r_0100_0008__table at [clr] r_0100_0014__pale pale r_0100_0015__and->r_0100_0014__pale [conj1] r_0100_0016__solemn solemn r_0100_0015__and->r_0100_0016__solemn [conj2] r_0100_0010__the_r_0100_0011__control_r_0100_0012__room the control room r_0100_0007__the_r_0100_0008__table->r_0100_0010__the_r_0100_0011__control_r_0100_0012__room in r_0100_0018__studying studying r_0100_0018__studying->r_0100_0002__and [arg0] r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists the inventory lists r_0100_0018__studying->r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists [arg1] z_000_100_a_dick_1952_51 z_000_100_a_dick_1952_51->r_0100_0004__were [scope] z_000_100_a_dick_1952_51->r_0100_0018__studying [restriction]
arc(r_0100_0002__and, r_0100_0001__Nasha, conj1).
arc(r_0100_0002__and, r_0100_0003__Fomar, conj2).
arc(r_0100_0004__were, r_0100_0005__sitting, scope).
arc(r_0100_0004__were, r_0100_0015__and, attrib38).
arc(r_0100_0005__sitting, r_0100_0002__and, arg0).
arc(r_0100_0005__sitting, r_0100_0007__the_r_0100_0008__table, r_0100_0006__at_clr21).
arc(r_0100_0007__the_r_0100_0008__table, r_0100_0010__the_r_0100_0011__control_r_0100_0012__room, r_0100_0009__in).
arc(r_0100_0015__and, r_0100_0014__pale, conj1).
arc(r_0100_0015__and, r_0100_0016__solemn, conj2).
arc(r_0100_0018__studying, r_0100_0002__and, arg0).
arc(r_0100_0018__studying, r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists, arg1).
arc(z_000_100_a_dick_1952_51, r_0100_0004__were, scope).
arc(z_000_100_a_dick_1952_51, r_0100_0018__studying, restriction).



%3 r_0100_0002__and and r_0100_0001__Nasha Nasha r_0100_0002__and->r_0100_0001__Nasha [conj1] r_0100_0003__Fomar Fomar r_0100_0002__and->r_0100_0003__Fomar [conj2] r_0100_0004__were_r_0100_0005__sitting were sitting r_0100_0004__were_r_0100_0005__sitting->r_0100_0002__and [arg0] r_0100_0007__the_r_0100_0008__table the table r_0100_0004__were_r_0100_0005__sitting->r_0100_0007__the_r_0100_0008__table at [clr] r_0100_0015__and and r_0100_0004__were_r_0100_0005__sitting->r_0100_0015__and [attrib] r_0100_0010__the_r_0100_0011__control_r_0100_0012__room the control room r_0100_0007__the_r_0100_0008__table->r_0100_0010__the_r_0100_0011__control_r_0100_0012__room in r_0100_0014__pale pale r_0100_0015__and->r_0100_0014__pale [conj1] r_0100_0016__solemn solemn r_0100_0015__and->r_0100_0016__solemn [conj2] r_0100_0018__studying studying r_0100_0018__studying->r_0100_0002__and [arg0] r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists the inventory lists r_0100_0018__studying->r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists [arg1] z_000_100_a_dick_1952_51 z_000_100_a_dick_1952_51->r_0100_0004__were_r_0100_0005__sitting [conj2] z_000_100_a_dick_1952_51->r_0100_0018__studying [conj1]
fof(formula,axiom,
    ? [Z_100_A_DICK_1952_51,R_100_18_STUDYING,R_100_19_THE_INVENTORY_LISTS,R_100_4_WERE_SITTING,R_100_2_AND,R_100_1_NASHA,R_100_3_FOMAR,R_100_15_AND,R_100_14_PALE,R_100_16_SOLEMN,R_100_7_THE_TABLE,R_100_10_THE_CONTROL_ROOM] :
      ( the_inventory_lists(R_100_19_THE_INVENTORY_LISTS)
      & nasha(R_100_1_NASHA)
      & fomar(R_100_3_FOMAR)
      & pale(R_100_14_PALE)
      & solemn(R_100_16_SOLEMN)
      & the_control_room(R_100_10_THE_CONTROL_ROOM)
      & z_100_a_dick_1952_51(Z_100_A_DICK_1952_51)
      & conj1(Z_100_A_DICK_1952_51,R_100_18_STUDYING)
      & studying(R_100_18_STUDYING,R_100_2_AND,R_100_19_THE_INVENTORY_LISTS)
      & and(R_100_2_AND)
      & conj1(R_100_2_AND,R_100_1_NASHA)
      & conj2(R_100_2_AND,R_100_3_FOMAR)
      & conj2(Z_100_A_DICK_1952_51,R_100_4_WERE_SITTING)
      & were_sitting(R_100_4_WERE_SITTING,R_100_2_AND)
      & attrib38(R_100_4_WERE_SITTING,R_100_15_AND)
      & and(R_100_15_AND)
      & conj1(R_100_15_AND,R_100_14_PALE)
      & conj2(R_100_15_AND,R_100_16_SOLEMN)
      & at_clr21(R_100_4_WERE_SITTING,R_100_7_THE_TABLE)
      & the_table(R_100_7_THE_TABLE)
      & in(R_100_7_THE_TABLE,R_100_10_THE_CONTROL_ROOM) ) ).



n100_a_dick_1952 n100_a_dick_1952_6 Nasha n100_a_dick_1952_9 and n100_a_dick_1952_12 Fomar n100_a_dick_1952_14 were n100_a_dick_1952_17 sitting n100_a_dick_1952_20 at n100_a_dick_1952_23 the n100_a_dick_1952_25 table n100_a_dick_1952_28 in n100_a_dick_1952_31 the n100_a_dick_1952_33 control n100_a_dick_1952_35 room n100_a_dick_1952_37 , n100_a_dick_1952_42 pale n100_a_dick_1952_45 and n100_a_dick_1952_48 solemn n100_a_dick_1952_50 , n100_a_dick_1952_54 studying n100_a_dick_1952_57 the n100_a_dick_1952_59 inventory n100_a_dick_1952_61 lists n100_a_dick_1952_63 . n100_a_dick_1952_1 IP-MAT n100_a_dick_1952_2 NP-SBJ n100_a_dick_1952_1->n100_a_dick_1952_2 n100_a_dick_1952_13 BED;_cat_Vg_ n100_a_dick_1952_1->n100_a_dick_1952_13 n100_a_dick_1952_15 IP-PPL-CAT n100_a_dick_1952_1->n100_a_dick_1952_15 n100_a_dick_1952_36 PUNC n100_a_dick_1952_1->n100_a_dick_1952_36 n100_a_dick_1952_38 ADJP-NIM n100_a_dick_1952_1->n100_a_dick_1952_38 n100_a_dick_1952_49 PUNC n100_a_dick_1952_1->n100_a_dick_1952_49 n100_a_dick_1952_51 PP-SCON n100_a_dick_1952_1->n100_a_dick_1952_51 n100_a_dick_1952_62 PUNC n100_a_dick_1952_1->n100_a_dick_1952_62 n100_a_dick_1952_3 NLYR n100_a_dick_1952_2->n100_a_dick_1952_3 n100_a_dick_1952_4 NLYR n100_a_dick_1952_3->n100_a_dick_1952_4 n100_a_dick_1952_7 CONJP n100_a_dick_1952_3->n100_a_dick_1952_7 n100_a_dick_1952_5 NPR n100_a_dick_1952_4->n100_a_dick_1952_5 n100_a_dick_1952_5->n100_a_dick_1952_6 n100_a_dick_1952_8 CONJ n100_a_dick_1952_7->n100_a_dick_1952_8 n100_a_dick_1952_10 NLYR n100_a_dick_1952_7->n100_a_dick_1952_10 n100_a_dick_1952_8->n100_a_dick_1952_9 n100_a_dick_1952_11 NPR n100_a_dick_1952_10->n100_a_dick_1952_11 n100_a_dick_1952_11->n100_a_dick_1952_12 n100_a_dick_1952_13->n100_a_dick_1952_14 n100_a_dick_1952_16 VAG;_Ipr_ n100_a_dick_1952_15->n100_a_dick_1952_16 n100_a_dick_1952_18 PP-CLR n100_a_dick_1952_15->n100_a_dick_1952_18 n100_a_dick_1952_16->n100_a_dick_1952_17 n100_a_dick_1952_19 P-ROLE n100_a_dick_1952_18->n100_a_dick_1952_19 n100_a_dick_1952_21 NP n100_a_dick_1952_18->n100_a_dick_1952_21 n100_a_dick_1952_19->n100_a_dick_1952_20 n100_a_dick_1952_22 D n100_a_dick_1952_21->n100_a_dick_1952_22 n100_a_dick_1952_24 N n100_a_dick_1952_21->n100_a_dick_1952_24 n100_a_dick_1952_26 PP n100_a_dick_1952_21->n100_a_dick_1952_26 n100_a_dick_1952_22->n100_a_dick_1952_23 n100_a_dick_1952_24->n100_a_dick_1952_25 n100_a_dick_1952_27 P-ROLE n100_a_dick_1952_26->n100_a_dick_1952_27 n100_a_dick_1952_29 NP n100_a_dick_1952_26->n100_a_dick_1952_29 n100_a_dick_1952_27->n100_a_dick_1952_28 n100_a_dick_1952_30 D n100_a_dick_1952_29->n100_a_dick_1952_30 n100_a_dick_1952_32 N n100_a_dick_1952_29->n100_a_dick_1952_32 n100_a_dick_1952_34 N n100_a_dick_1952_29->n100_a_dick_1952_34 n100_a_dick_1952_30->n100_a_dick_1952_31 n100_a_dick_1952_32->n100_a_dick_1952_33 n100_a_dick_1952_34->n100_a_dick_1952_35 n100_a_dick_1952_36->n100_a_dick_1952_37 n100_a_dick_1952_39 AJLYR n100_a_dick_1952_38->n100_a_dick_1952_39 n100_a_dick_1952_40 AJLYR n100_a_dick_1952_39->n100_a_dick_1952_40 n100_a_dick_1952_43 CONJP n100_a_dick_1952_39->n100_a_dick_1952_43 n100_a_dick_1952_41 ADJ n100_a_dick_1952_40->n100_a_dick_1952_41 n100_a_dick_1952_41->n100_a_dick_1952_42 n100_a_dick_1952_44 CONJ n100_a_dick_1952_43->n100_a_dick_1952_44 n100_a_dick_1952_46 AJLYR n100_a_dick_1952_43->n100_a_dick_1952_46 n100_a_dick_1952_44->n100_a_dick_1952_45 n100_a_dick_1952_47 ADJ n100_a_dick_1952_46->n100_a_dick_1952_47 n100_a_dick_1952_47->n100_a_dick_1952_48 n100_a_dick_1952_49->n100_a_dick_1952_50 n100_a_dick_1952_52 IP-PPL n100_a_dick_1952_51->n100_a_dick_1952_52 n100_a_dick_1952_53 VAG;_Tn_ n100_a_dick_1952_52->n100_a_dick_1952_53 n100_a_dick_1952_55 NP-OB1 n100_a_dick_1952_52->n100_a_dick_1952_55 n100_a_dick_1952_53->n100_a_dick_1952_54 n100_a_dick_1952_56 D n100_a_dick_1952_55->n100_a_dick_1952_56 n100_a_dick_1952_58 N n100_a_dick_1952_55->n100_a_dick_1952_58 n100_a_dick_1952_60 NS n100_a_dick_1952_55->n100_a_dick_1952_60 n100_a_dick_1952_56->n100_a_dick_1952_57 n100_a_dick_1952_58->n100_a_dick_1952_59 n100_a_dick_1952_60->n100_a_dick_1952_61 n100_a_dick_1952_62->n100_a_dick_1952_63
( (IP-MAT (NP-SBJ;{NASHA_FOMAR} (NLYR (NLYR;{NASHA} (NPR Nasha;{Nasha}))
                                      (CONJP (CONJ and;{and})
                                             (NLYR (NPR Fomar;{Fomar})))))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;_Ipr_ sitting;{sit[at]})
                      (PP-CLR (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N table;{table})
                                  (PP (P-ROLE in;{in})
                                      (NP (D the;{the})
                                          (N control;{control})
                                          (N room;{room}))))))
          (PUNC ,)
          (ADJP-NIM (AJLYR (AJLYR (ADJ pale;{pale}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ solemn;{solemn})))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ studying;{study})
                           (NP-OB1 (D the;{the})
                                   (N inventory;{inventory})
                                   (NS lists;{list}))))
          (PUNC .))
  (ID 100_a_dick_1952))