Context                Previous, Next                Top


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 z_000_100_a_dick_1952_51 r_0100_0018__studying studying z_000_100_a_dick_1952_51->r_0100_0018__studying [conj1] r_0100_0004__were_r_0100_0005__sitting were sitting z_000_100_a_dick_1952_51->r_0100_0004__were_r_0100_0005__sitting [conj2] 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] r_0100_0002__and and r_0100_0018__studying->r_0100_0002__and [arg0] r_0100_0004__were_r_0100_0005__sitting->r_0100_0002__and [arg0] r_0100_0015__and and r_0100_0004__were_r_0100_0005__sitting->r_0100_0015__and [attrib] 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_0003__Fomar Fomar r_0100_0002__and->r_0100_0003__Fomar [conj2] r_0100_0001__Nasha Nasha r_0100_0002__and->r_0100_0001__Nasha [conj1] r_0100_0016__solemn solemn r_0100_0015__and->r_0100_0016__solemn [conj2] r_0100_0014__pale pale r_0100_0015__and->r_0100_0014__pale [conj1] 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 
fof(formula,axiom,
    ? [R_0100_0014__PALE,R_0100_0016__SOLEMN,R_0100_0015__AND,R_0100_0001__NASHA,R_0100_0003__FOMAR,R_0100_0002__AND,R_0100_0010__THE_R_0100_0011__CONTROL_R_0100_0012__ROOM,R_0100_0007__THE_R_0100_0008__TABLE,R_0100_0004__WERE_R_0100_0005__SITTING,R_0100_0019__THE_R_0100_0020__INVENTORY_R_0100_0021__LISTS,R_0100_0018__STUDYING,Z_000_100_A_DICK_1952_51] :
      ( r_0100_0001__Nasha(R_0100_0001__NASHA)
      & r_0100_0003__Fomar(R_0100_0003__FOMAR)
      & r_0100_0010__the_r_0100_0011__control_r_0100_0012__room(R_0100_0010__THE_R_0100_0011__CONTROL_R_0100_0012__ROOM)
      & r_0100_0014__pale(R_0100_0014__PALE)
      & r_0100_0016__solemn(R_0100_0016__SOLEMN)
      & r_0100_0019__the_r_0100_0020__inventory_r_0100_0021__lists(R_0100_0019__THE_R_0100_0020__INVENTORY_R_0100_0021__LISTS)
      & z_000_100_a_dick_1952_51(Z_000_100_A_DICK_1952_51)
      & has_conj1(Z_000_100_A_DICK_1952_51,R_0100_0018__STUDYING)
      & r_0100_0018__studying(R_0100_0018__STUDYING)
      & has_arg1(R_0100_0018__STUDYING,R_0100_0019__THE_R_0100_0020__INVENTORY_R_0100_0021__LISTS)
      & has_arg0(R_0100_0018__STUDYING,R_0100_0002__AND)
      & r_0100_0002__and(R_0100_0002__AND)
      & has_conj2(R_0100_0002__AND,R_0100_0003__FOMAR)
      & has_conj1(R_0100_0002__AND,R_0100_0001__NASHA)
      & has_conj2(Z_000_100_A_DICK_1952_51,R_0100_0004__WERE_R_0100_0005__SITTING)
      & r_0100_0004__were_r_0100_0005__sitting(R_0100_0004__WERE_R_0100_0005__SITTING)
      & has_r_0100_0006__at_clr21(R_0100_0004__WERE_R_0100_0005__SITTING,R_0100_0007__THE_R_0100_0008__TABLE)
      & r_0100_0007__the_r_0100_0008__table(R_0100_0007__THE_R_0100_0008__TABLE)
      & has_r_0100_0009__in(R_0100_0007__THE_R_0100_0008__TABLE,R_0100_0010__THE_R_0100_0011__CONTROL_R_0100_0012__ROOM)
      & has_arg0(R_0100_0004__WERE_R_0100_0005__SITTING,R_0100_0002__AND)
      & has_attrib38(R_0100_0004__WERE_R_0100_0005__SITTING,R_0100_0015__AND)
      & r_0100_0015__and(R_0100_0015__AND)
      & has_conj2(R_0100_0015__AND,R_0100_0016__SOLEMN)
      & has_conj1(R_0100_0015__AND,R_0100_0014__PALE) ) ).


n100_a_dick_1952 n100_a_dick_1952__1_1_1_1_1_1 Nasha n100_a_dick_1952__1_1_1_2_1_1 and n100_a_dick_1952__1_1_1_2_2_1_1 Fomar n100_a_dick_1952__1_2_1 were n100_a_dick_1952__1_3_1_1 sitting n100_a_dick_1952__1_3_2_1_1 at n100_a_dick_1952__1_3_2_2_1_1 the n100_a_dick_1952__1_3_2_2_2_1 table n100_a_dick_1952__1_3_2_2_3_1_1 in n100_a_dick_1952__1_3_2_2_3_2_1_1 the n100_a_dick_1952__1_3_2_2_3_2_2_1 control n100_a_dick_1952__1_3_2_2_3_2_3_1 room n100_a_dick_1952__1_4_1 , n100_a_dick_1952__1_5_1_1_1_1 pale n100_a_dick_1952__1_5_1_2_1_1 and n100_a_dick_1952__1_5_1_2_2_1_1 solemn n100_a_dick_1952__1_6_1 , n100_a_dick_1952__1_7_1_1_1 studying n100_a_dick_1952__1_7_1_2_1_1 the n100_a_dick_1952__1_7_1_2_2_1 inventory n100_a_dick_1952__1_7_1_2_3_1 lists n100_a_dick_1952__1_8_1 . n100_a_dick_1952__1 IP-MAT n100_a_dick_1952__1_1 NP-SBJ n100_a_dick_1952__1->n100_a_dick_1952__1_1 n100_a_dick_1952__1_2 BED;_cat_Vg_ n100_a_dick_1952__1->n100_a_dick_1952__1_2 n100_a_dick_1952__1_3 IP-PPL-CAT n100_a_dick_1952__1->n100_a_dick_1952__1_3 n100_a_dick_1952__1_4 PUNC n100_a_dick_1952__1->n100_a_dick_1952__1_4 n100_a_dick_1952__1_5 ADJP-NIM n100_a_dick_1952__1->n100_a_dick_1952__1_5 n100_a_dick_1952__1_6 PUNC n100_a_dick_1952__1->n100_a_dick_1952__1_6 n100_a_dick_1952__1_7 PP-SCON n100_a_dick_1952__1->n100_a_dick_1952__1_7 n100_a_dick_1952__1_8 PUNC n100_a_dick_1952__1->n100_a_dick_1952__1_8 n100_a_dick_1952__1_1_1 NLYR n100_a_dick_1952__1_1->n100_a_dick_1952__1_1_1 n100_a_dick_1952__1_1_1_1 NLYR n100_a_dick_1952__1_1_1->n100_a_dick_1952__1_1_1_1 n100_a_dick_1952__1_1_1_2 CONJP n100_a_dick_1952__1_1_1->n100_a_dick_1952__1_1_1_2 n100_a_dick_1952__1_1_1_1_1 NPR n100_a_dick_1952__1_1_1_1->n100_a_dick_1952__1_1_1_1_1 n100_a_dick_1952__1_1_1_1_1->n100_a_dick_1952__1_1_1_1_1_1 n100_a_dick_1952__1_1_1_2_1 CONJ n100_a_dick_1952__1_1_1_2->n100_a_dick_1952__1_1_1_2_1 n100_a_dick_1952__1_1_1_2_2 NLYR n100_a_dick_1952__1_1_1_2->n100_a_dick_1952__1_1_1_2_2 n100_a_dick_1952__1_1_1_2_1->n100_a_dick_1952__1_1_1_2_1_1 n100_a_dick_1952__1_1_1_2_2_1 NPR n100_a_dick_1952__1_1_1_2_2->n100_a_dick_1952__1_1_1_2_2_1 n100_a_dick_1952__1_1_1_2_2_1->n100_a_dick_1952__1_1_1_2_2_1_1 n100_a_dick_1952__1_2->n100_a_dick_1952__1_2_1 n100_a_dick_1952__1_3_1 VAG;_Ipr_ n100_a_dick_1952__1_3->n100_a_dick_1952__1_3_1 n100_a_dick_1952__1_3_2 PP-CLR n100_a_dick_1952__1_3->n100_a_dick_1952__1_3_2 n100_a_dick_1952__1_3_1->n100_a_dick_1952__1_3_1_1 n100_a_dick_1952__1_3_2_1 P-ROLE n100_a_dick_1952__1_3_2->n100_a_dick_1952__1_3_2_1 n100_a_dick_1952__1_3_2_2 NP n100_a_dick_1952__1_3_2->n100_a_dick_1952__1_3_2_2 n100_a_dick_1952__1_3_2_1->n100_a_dick_1952__1_3_2_1_1 n100_a_dick_1952__1_3_2_2_1 D n100_a_dick_1952__1_3_2_2->n100_a_dick_1952__1_3_2_2_1 n100_a_dick_1952__1_3_2_2_2 N n100_a_dick_1952__1_3_2_2->n100_a_dick_1952__1_3_2_2_2 n100_a_dick_1952__1_3_2_2_3 PP n100_a_dick_1952__1_3_2_2->n100_a_dick_1952__1_3_2_2_3 n100_a_dick_1952__1_3_2_2_1->n100_a_dick_1952__1_3_2_2_1_1 n100_a_dick_1952__1_3_2_2_2->n100_a_dick_1952__1_3_2_2_2_1 n100_a_dick_1952__1_3_2_2_3_1 P-ROLE n100_a_dick_1952__1_3_2_2_3->n100_a_dick_1952__1_3_2_2_3_1 n100_a_dick_1952__1_3_2_2_3_2 NP n100_a_dick_1952__1_3_2_2_3->n100_a_dick_1952__1_3_2_2_3_2 n100_a_dick_1952__1_3_2_2_3_1->n100_a_dick_1952__1_3_2_2_3_1_1 n100_a_dick_1952__1_3_2_2_3_2_1 D n100_a_dick_1952__1_3_2_2_3_2->n100_a_dick_1952__1_3_2_2_3_2_1 n100_a_dick_1952__1_3_2_2_3_2_2 N n100_a_dick_1952__1_3_2_2_3_2->n100_a_dick_1952__1_3_2_2_3_2_2 n100_a_dick_1952__1_3_2_2_3_2_3 N n100_a_dick_1952__1_3_2_2_3_2->n100_a_dick_1952__1_3_2_2_3_2_3 n100_a_dick_1952__1_3_2_2_3_2_1->n100_a_dick_1952__1_3_2_2_3_2_1_1 n100_a_dick_1952__1_3_2_2_3_2_2->n100_a_dick_1952__1_3_2_2_3_2_2_1 n100_a_dick_1952__1_3_2_2_3_2_3->n100_a_dick_1952__1_3_2_2_3_2_3_1 n100_a_dick_1952__1_4->n100_a_dick_1952__1_4_1 n100_a_dick_1952__1_5_1 AJLYR n100_a_dick_1952__1_5->n100_a_dick_1952__1_5_1 n100_a_dick_1952__1_5_1_1 AJLYR n100_a_dick_1952__1_5_1->n100_a_dick_1952__1_5_1_1 n100_a_dick_1952__1_5_1_2 CONJP n100_a_dick_1952__1_5_1->n100_a_dick_1952__1_5_1_2 n100_a_dick_1952__1_5_1_1_1 ADJ n100_a_dick_1952__1_5_1_1->n100_a_dick_1952__1_5_1_1_1 n100_a_dick_1952__1_5_1_1_1->n100_a_dick_1952__1_5_1_1_1_1 n100_a_dick_1952__1_5_1_2_1 CONJ n100_a_dick_1952__1_5_1_2->n100_a_dick_1952__1_5_1_2_1 n100_a_dick_1952__1_5_1_2_2 AJLYR n100_a_dick_1952__1_5_1_2->n100_a_dick_1952__1_5_1_2_2 n100_a_dick_1952__1_5_1_2_1->n100_a_dick_1952__1_5_1_2_1_1 n100_a_dick_1952__1_5_1_2_2_1 ADJ n100_a_dick_1952__1_5_1_2_2->n100_a_dick_1952__1_5_1_2_2_1 n100_a_dick_1952__1_5_1_2_2_1->n100_a_dick_1952__1_5_1_2_2_1_1 n100_a_dick_1952__1_6->n100_a_dick_1952__1_6_1 n100_a_dick_1952__1_7_1 IP-PPL n100_a_dick_1952__1_7->n100_a_dick_1952__1_7_1 n100_a_dick_1952__1_7_1_1 VAG;_Tn_ n100_a_dick_1952__1_7_1->n100_a_dick_1952__1_7_1_1 n100_a_dick_1952__1_7_1_2 NP-OB1 n100_a_dick_1952__1_7_1->n100_a_dick_1952__1_7_1_2 n100_a_dick_1952__1_7_1_1->n100_a_dick_1952__1_7_1_1_1 n100_a_dick_1952__1_7_1_2_1 D n100_a_dick_1952__1_7_1_2->n100_a_dick_1952__1_7_1_2_1 n100_a_dick_1952__1_7_1_2_2 N n100_a_dick_1952__1_7_1_2->n100_a_dick_1952__1_7_1_2_2 n100_a_dick_1952__1_7_1_2_3 NS n100_a_dick_1952__1_7_1_2->n100_a_dick_1952__1_7_1_2_3 n100_a_dick_1952__1_7_1_2_1->n100_a_dick_1952__1_7_1_2_1_1 n100_a_dick_1952__1_7_1_2_2->n100_a_dick_1952__1_7_1_2_2_1 n100_a_dick_1952__1_7_1_2_3->n100_a_dick_1952__1_7_1_2_3_1 n100_a_dick_1952__1_8->n100_a_dick_1952__1_8_1 
( (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))