100_a_dick_1952
Nasha and Fomar were sitting at the table in the control room, pale and solemn, studying the inventory lists.
( (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))
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_r_0100_0006__at,scope).
arc(r_0100_0004__were,r_0100_0015__and,nim).
arc(r_0100_0005__sitting_r_0100_0006__at,r_0100_0002__and,arg0).
arc(r_0100_0005__sitting_r_0100_0006__at,r_0100_0007__the_r_0100_0008__table,arg1).
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_0100_5002,r_0100_0004__were,scope).
arc(z_0100_5002,r_0100_0018__studying,restriction).
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_0006__AT,R_0100_0019__THE_R_0100_0020__INVENTORY_R_0100_0021__LISTS,R_0100_0018__STUDYING,Z_0100_5002] :
( 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_0100_5002(Z_0100_5002)
& has_conj1(Z_0100_5002,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_0100_5002,R_0100_0004__WERE_R_0100_0005__SITTING_R_0100_0006__AT)
& r_0100_0004__were_r_0100_0005__sitting_r_0100_0006__at(R_0100_0004__WERE_R_0100_0005__SITTING_R_0100_0006__AT)
& has_arg1(R_0100_0004__WERE_R_0100_0005__SITTING_R_0100_0006__AT,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_0006__AT,R_0100_0002__AND)
& has_nim(R_0100_0004__WERE_R_0100_0005__SITTING_R_0100_0006__AT,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) ) ).