100_a_dick_1952
Nasha and Fomar were sitting at the table in the control room, pale and solemn, studying the inventory lists.
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).
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) ) ).
( (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))