11_a_beeton_1861
n11_a_beeton_1861
n11_a_beeton_1861__1_1_1_1
Before
n11_a_beeton_1861__1_1_2_1_1
dinner
n11_a_beeton_1861__1_2_1
,
n11_a_beeton_1861__1_3_1_1
he
n11_a_beeton_1861__1_4_1
has
n11_a_beeton_1861__1_5_1_1
satisfied
n11_a_beeton_1861__1_5_2_1_1
himself
n11_a_beeton_1861__1_5_3_1_1_1
that
n11_a_beeton_1861__1_5_3_1_2_1_1
the
n11_a_beeton_1861__1_5_3_1_2_2_1_1_1
lamps
n11_a_beeton_1861__1_5_3_1_2_2_2_1
,
n11_a_beeton_1861__1_5_3_1_2_2_3_1_1_1
candles
n11_a_beeton_1861__1_5_3_1_2_2_4_1
,
n11_a_beeton_1861__1_5_3_1_2_2_5_1_1
or
n11_a_beeton_1861__1_5_3_1_2_2_5_2_1_1
gas-burners
n11_a_beeton_1861__1_5_3_1_3_1
are
n11_a_beeton_1861__1_5_3_1_4_1_1
in
n11_a_beeton_1861__1_5_3_1_4_2_1_1_1
perfect
n11_a_beeton_1861__1_5_3_1_4_2_2_1
order
n11_a_beeton_1861__1_5_3_1_4_2_3_1
*ICH*-148
n11_a_beeton_1861__1_5_3_1_5_1
,
n11_a_beeton_1861__1_5_3_1_6_1_1
if
n11_a_beeton_1861__1_5_3_1_6_2_1_1_1
*
n11_a_beeton_1861__1_5_3_1_6_2_1_2_1
not
n11_a_beeton_1861__1_5_3_1_6_2_1_3_1
lighted
n11_a_beeton_1861__1_5_3_1_7_1
,
n11_a_beeton_1861__1_5_3_1_8_1_1_1
which
n11_a_beeton_1861__1_5_3_1_8_2_1
will
n11_a_beeton_1861__1_5_3_1_8_3_1_1_1
usually
n11_a_beeton_1861__1_5_3_1_8_3_2_1
be
n11_a_beeton_1861__1_5_3_1_8_3_3_1_1
the
n11_a_beeton_1861__1_5_3_1_8_3_3_2_1
case
n11_a_beeton_1861__1_6_1
.
n11_a_beeton_1861__1
IP-MAT
n11_a_beeton_1861__1_1
PP-NIM
n11_a_beeton_1861__1->n11_a_beeton_1861__1_1
n11_a_beeton_1861__1_2
PUNC
n11_a_beeton_1861__1->n11_a_beeton_1861__1_2
n11_a_beeton_1861__1_3
NP-SBJ
n11_a_beeton_1861__1->n11_a_beeton_1861__1_3
n11_a_beeton_1861__1_4
HVP;_cat_Ve_
n11_a_beeton_1861__1->n11_a_beeton_1861__1_4
n11_a_beeton_1861__1_5
IP-PPL-CAT
n11_a_beeton_1861__1->n11_a_beeton_1861__1_5
n11_a_beeton_1861__1_6
PUNC
n11_a_beeton_1861__1->n11_a_beeton_1861__1_6
n11_a_beeton_1861__1_1_1
P-ROLE
n11_a_beeton_1861__1_1->n11_a_beeton_1861__1_1_1
n11_a_beeton_1861__1_1_2
NP
n11_a_beeton_1861__1_1->n11_a_beeton_1861__1_1_2
n11_a_beeton_1861__1_1_1->n11_a_beeton_1861__1_1_1_1
n11_a_beeton_1861__1_1_2_1
N
n11_a_beeton_1861__1_1_2->n11_a_beeton_1861__1_1_2_1
n11_a_beeton_1861__1_1_2_1->n11_a_beeton_1861__1_1_2_1_1
n11_a_beeton_1861__1_2->n11_a_beeton_1861__1_2_1
n11_a_beeton_1861__1_3_1
PRO
n11_a_beeton_1861__1_3->n11_a_beeton_1861__1_3_1
n11_a_beeton_1861__1_3_1->n11_a_beeton_1861__1_3_1_1
n11_a_beeton_1861__1_4->n11_a_beeton_1861__1_4_1
n11_a_beeton_1861__1_5_1
VVN;_Dn.f_
n11_a_beeton_1861__1_5->n11_a_beeton_1861__1_5_1
n11_a_beeton_1861__1_5_2
NP-OB2
n11_a_beeton_1861__1_5->n11_a_beeton_1861__1_5_2
n11_a_beeton_1861__1_5_3
CP-THT-OB1
n11_a_beeton_1861__1_5->n11_a_beeton_1861__1_5_3
n11_a_beeton_1861__1_5_1->n11_a_beeton_1861__1_5_1_1
n11_a_beeton_1861__1_5_2_1
PNX
n11_a_beeton_1861__1_5_2->n11_a_beeton_1861__1_5_2_1
n11_a_beeton_1861__1_5_2_1->n11_a_beeton_1861__1_5_2_1_1
n11_a_beeton_1861__1_5_3_1
IP-SUB
n11_a_beeton_1861__1_5_3->n11_a_beeton_1861__1_5_3_1
n11_a_beeton_1861__1_5_3_1_1
C
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_1
n11_a_beeton_1861__1_5_3_1_2
NP-SBJ
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_2
n11_a_beeton_1861__1_5_3_1_3
BEP;_Ipr_
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_3
n11_a_beeton_1861__1_5_3_1_4
PP-CLR
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_4
n11_a_beeton_1861__1_5_3_1_5
PUNC
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_5
n11_a_beeton_1861__1_5_3_1_6
PP-SCON
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_6
n11_a_beeton_1861__1_5_3_1_7
PUNC
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_7
n11_a_beeton_1861__1_5_3_1_8
IP-REL-EPD-148
n11_a_beeton_1861__1_5_3_1->n11_a_beeton_1861__1_5_3_1_8
n11_a_beeton_1861__1_5_3_1_1->n11_a_beeton_1861__1_5_3_1_1_1
n11_a_beeton_1861__1_5_3_1_2_1
D
n11_a_beeton_1861__1_5_3_1_2->n11_a_beeton_1861__1_5_3_1_2_1
n11_a_beeton_1861__1_5_3_1_2_2
NLYR
n11_a_beeton_1861__1_5_3_1_2->n11_a_beeton_1861__1_5_3_1_2_2
n11_a_beeton_1861__1_5_3_1_2_1->n11_a_beeton_1861__1_5_3_1_2_1_1
n11_a_beeton_1861__1_5_3_1_2_2_1
NLYR
n11_a_beeton_1861__1_5_3_1_2_2->n11_a_beeton_1861__1_5_3_1_2_2_1
n11_a_beeton_1861__1_5_3_1_2_2_2
PUNC
n11_a_beeton_1861__1_5_3_1_2_2->n11_a_beeton_1861__1_5_3_1_2_2_2
n11_a_beeton_1861__1_5_3_1_2_2_3
CONJP
n11_a_beeton_1861__1_5_3_1_2_2->n11_a_beeton_1861__1_5_3_1_2_2_3
n11_a_beeton_1861__1_5_3_1_2_2_4
PUNC
n11_a_beeton_1861__1_5_3_1_2_2->n11_a_beeton_1861__1_5_3_1_2_2_4
n11_a_beeton_1861__1_5_3_1_2_2_5
CONJP
n11_a_beeton_1861__1_5_3_1_2_2->n11_a_beeton_1861__1_5_3_1_2_2_5
n11_a_beeton_1861__1_5_3_1_2_2_1_1
NS
n11_a_beeton_1861__1_5_3_1_2_2_1->n11_a_beeton_1861__1_5_3_1_2_2_1_1
n11_a_beeton_1861__1_5_3_1_2_2_1_1->n11_a_beeton_1861__1_5_3_1_2_2_1_1_1
n11_a_beeton_1861__1_5_3_1_2_2_2->n11_a_beeton_1861__1_5_3_1_2_2_2_1
n11_a_beeton_1861__1_5_3_1_2_2_3_1
NLYR
n11_a_beeton_1861__1_5_3_1_2_2_3->n11_a_beeton_1861__1_5_3_1_2_2_3_1
n11_a_beeton_1861__1_5_3_1_2_2_3_1_1
NS
n11_a_beeton_1861__1_5_3_1_2_2_3_1->n11_a_beeton_1861__1_5_3_1_2_2_3_1_1
n11_a_beeton_1861__1_5_3_1_2_2_3_1_1->n11_a_beeton_1861__1_5_3_1_2_2_3_1_1_1
n11_a_beeton_1861__1_5_3_1_2_2_4->n11_a_beeton_1861__1_5_3_1_2_2_4_1
n11_a_beeton_1861__1_5_3_1_2_2_5_1
CONJ
n11_a_beeton_1861__1_5_3_1_2_2_5->n11_a_beeton_1861__1_5_3_1_2_2_5_1
n11_a_beeton_1861__1_5_3_1_2_2_5_2
NLYR
n11_a_beeton_1861__1_5_3_1_2_2_5->n11_a_beeton_1861__1_5_3_1_2_2_5_2
n11_a_beeton_1861__1_5_3_1_2_2_5_1->n11_a_beeton_1861__1_5_3_1_2_2_5_1_1
n11_a_beeton_1861__1_5_3_1_2_2_5_2_1
NS
n11_a_beeton_1861__1_5_3_1_2_2_5_2->n11_a_beeton_1861__1_5_3_1_2_2_5_2_1
n11_a_beeton_1861__1_5_3_1_2_2_5_2_1->n11_a_beeton_1861__1_5_3_1_2_2_5_2_1_1
n11_a_beeton_1861__1_5_3_1_3->n11_a_beeton_1861__1_5_3_1_3_1
n11_a_beeton_1861__1_5_3_1_4_1
P-ROLE
n11_a_beeton_1861__1_5_3_1_4->n11_a_beeton_1861__1_5_3_1_4_1
n11_a_beeton_1861__1_5_3_1_4_2
NP
n11_a_beeton_1861__1_5_3_1_4->n11_a_beeton_1861__1_5_3_1_4_2
n11_a_beeton_1861__1_5_3_1_4_1->n11_a_beeton_1861__1_5_3_1_4_1_1
n11_a_beeton_1861__1_5_3_1_4_2_1
ADJP
n11_a_beeton_1861__1_5_3_1_4_2->n11_a_beeton_1861__1_5_3_1_4_2_1
n11_a_beeton_1861__1_5_3_1_4_2_2
N
n11_a_beeton_1861__1_5_3_1_4_2->n11_a_beeton_1861__1_5_3_1_4_2_2
n11_a_beeton_1861__1_5_3_1_4_2_3
IP-REL
n11_a_beeton_1861__1_5_3_1_4_2->n11_a_beeton_1861__1_5_3_1_4_2_3
n11_a_beeton_1861__1_5_3_1_4_2_1_1
ADJ
n11_a_beeton_1861__1_5_3_1_4_2_1->n11_a_beeton_1861__1_5_3_1_4_2_1_1
n11_a_beeton_1861__1_5_3_1_4_2_1_1->n11_a_beeton_1861__1_5_3_1_4_2_1_1_1
n11_a_beeton_1861__1_5_3_1_4_2_2->n11_a_beeton_1861__1_5_3_1_4_2_2_1
n11_a_beeton_1861__1_5_3_1_4_2_3->n11_a_beeton_1861__1_5_3_1_4_2_3_1
n11_a_beeton_1861__1_5_3_1_5->n11_a_beeton_1861__1_5_3_1_5_1
n11_a_beeton_1861__1_5_3_1_6_1
P-CONN
n11_a_beeton_1861__1_5_3_1_6->n11_a_beeton_1861__1_5_3_1_6_1
n11_a_beeton_1861__1_5_3_1_6_2
IP-PPL2
n11_a_beeton_1861__1_5_3_1_6->n11_a_beeton_1861__1_5_3_1_6_2
n11_a_beeton_1861__1_5_3_1_6_1->n11_a_beeton_1861__1_5_3_1_6_1_1
n11_a_beeton_1861__1_5_3_1_6_2_1
ILYR
n11_a_beeton_1861__1_5_3_1_6_2->n11_a_beeton_1861__1_5_3_1_6_2_1
n11_a_beeton_1861__1_5_3_1_6_2_1_1
NP-LGS
n11_a_beeton_1861__1_5_3_1_6_2_1->n11_a_beeton_1861__1_5_3_1_6_2_1_1
n11_a_beeton_1861__1_5_3_1_6_2_1_2
NEG
n11_a_beeton_1861__1_5_3_1_6_2_1->n11_a_beeton_1861__1_5_3_1_6_2_1_2
n11_a_beeton_1861__1_5_3_1_6_2_1_3
VBD;_Tn_
n11_a_beeton_1861__1_5_3_1_6_2_1->n11_a_beeton_1861__1_5_3_1_6_2_1_3
n11_a_beeton_1861__1_5_3_1_6_2_1_1->n11_a_beeton_1861__1_5_3_1_6_2_1_1_1
n11_a_beeton_1861__1_5_3_1_6_2_1_2->n11_a_beeton_1861__1_5_3_1_6_2_1_2_1
n11_a_beeton_1861__1_5_3_1_6_2_1_3->n11_a_beeton_1861__1_5_3_1_6_2_1_3_1
n11_a_beeton_1861__1_5_3_1_7->n11_a_beeton_1861__1_5_3_1_7_1
n11_a_beeton_1861__1_5_3_1_8_1
NP-SBJ
n11_a_beeton_1861__1_5_3_1_8->n11_a_beeton_1861__1_5_3_1_8_1
n11_a_beeton_1861__1_5_3_1_8_2
MD;_cat_Vi_
n11_a_beeton_1861__1_5_3_1_8->n11_a_beeton_1861__1_5_3_1_8_2
n11_a_beeton_1861__1_5_3_1_8_3
IP-INF-CAT
n11_a_beeton_1861__1_5_3_1_8->n11_a_beeton_1861__1_5_3_1_8_3
n11_a_beeton_1861__1_5_3_1_8_1_1
RPRO
n11_a_beeton_1861__1_5_3_1_8_1->n11_a_beeton_1861__1_5_3_1_8_1_1
n11_a_beeton_1861__1_5_3_1_8_1_1->n11_a_beeton_1861__1_5_3_1_8_1_1_1
n11_a_beeton_1861__1_5_3_1_8_2->n11_a_beeton_1861__1_5_3_1_8_2_1
n11_a_beeton_1861__1_5_3_1_8_3_1
ADVP-NIM
n11_a_beeton_1861__1_5_3_1_8_3->n11_a_beeton_1861__1_5_3_1_8_3_1
n11_a_beeton_1861__1_5_3_1_8_3_2
BE;_Ln_
n11_a_beeton_1861__1_5_3_1_8_3->n11_a_beeton_1861__1_5_3_1_8_3_2
n11_a_beeton_1861__1_5_3_1_8_3_3
NP-PRD
n11_a_beeton_1861__1_5_3_1_8_3->n11_a_beeton_1861__1_5_3_1_8_3_3
n11_a_beeton_1861__1_5_3_1_8_3_1_1
ADV
n11_a_beeton_1861__1_5_3_1_8_3_1->n11_a_beeton_1861__1_5_3_1_8_3_1_1
n11_a_beeton_1861__1_5_3_1_8_3_1_1->n11_a_beeton_1861__1_5_3_1_8_3_1_1_1
n11_a_beeton_1861__1_5_3_1_8_3_2->n11_a_beeton_1861__1_5_3_1_8_3_2_1
n11_a_beeton_1861__1_5_3_1_8_3_3_1
D
n11_a_beeton_1861__1_5_3_1_8_3_3->n11_a_beeton_1861__1_5_3_1_8_3_3_1
n11_a_beeton_1861__1_5_3_1_8_3_3_2
N
n11_a_beeton_1861__1_5_3_1_8_3_3->n11_a_beeton_1861__1_5_3_1_8_3_3_2
n11_a_beeton_1861__1_5_3_1_8_3_3_1->n11_a_beeton_1861__1_5_3_1_8_3_3_1_1
n11_a_beeton_1861__1_5_3_1_8_3_3_2->n11_a_beeton_1861__1_5_3_1_8_3_3_2_1
n11_a_beeton_1861__1_6->n11_a_beeton_1861__1_6_1
( (IP-MAT (PP-NIM (P-ROLE Before;{before})
(NP (N dinner;{dinner})))
(PUNC ,)
(NP-SBJ;{BUTLER} (PRO he;{he}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Dn.f_ satisfied;{satisfy})
(NP-OB2;{BUTLER} (PNX himself;{himself}))
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(NLYR (NLYR (NS lamps;{lamp}))
(PUNC ,)
(CONJP (NLYR (NS candles;{candle})))
(PUNC ,)
(CONJP (CONJ or;{or})
(NLYR (NS gas_<hyphen>_burners;{gas_burners})))))
(BEP;_Ipr_ are;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (ADJP (ADJ perfect;{perfect}))
(N order;{order})
(IP-REL *ICH*-148)))
(PUNC ,)
(PP-SCON (P-CONN if;{if})
(IP-PPL2 (ILYR (NP-LGS *)
(NEG not;{not})
(VBD;_Tn_ lighted;{light}))))
(PUNC ,)
(IP-REL-EPD-148 (NP-SBJ (RPRO which;{which}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (ADVP-NIM (ADV usually;{usually}))
(BE;_Ln_ be;{be})
(NP-PRD;{ATTRIB} (D the;{the})
(N case;{case})))))))
(PUNC .))
(ID 11_a_beeton_1861;2160-1))
%3
r_0011_0028__be
be
r_0011_0029__the_r_0011_0030__case
the case
r_0011_0028__be->r_0011_0029__the_r_0011_0030__case
[prd]
r_0011_0027__usually
usually
r_0011_0028__be->r_0011_0027__usually
[nim]
r_0011_0019__order
order
r_0011_0028__be->r_0011_0019__order
[arg0]
r_0011_0018__perfect
perfect
r_0011_0019__order->r_0011_0018__perfect
[attrib]
r_0011_0026__will
will
r_0011_0026__will->r_0011_0028__be
[scope]
r_0011_0023__lighted
lighted
z_0011_5015___star_
*
r_0011_0023__lighted->z_0011_5015___star_
[arg0]
r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
the lamps candles or gas-burners
r_0011_0023__lighted->r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
[arg1]
r_0011_0022__not
not
r_0011_0022__not->r_0011_0023__lighted
[keep_scope]
r_0011_0021__if
if
r_0011_0021__if->r_0011_0022__not
[restriction]
r_0011_0016__are_r_0011_0017__in
are in
r_0011_0021__if->r_0011_0016__are_r_0011_0017__in
[scope]
r_0011_0016__are_r_0011_0017__in->r_0011_0019__order
[arg1]
r_0011_0016__are_r_0011_0017__in->r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
[arg0]
r_0011_0006__satisfied
satisfied
r_0011_0006__satisfied->r_0011_0021__if
[arg1]
r_0011_0004__he
he
r_0011_0006__satisfied->r_0011_0004__he
[arg2]
r_0011_0006__satisfied->r_0011_0004__he
[arg0]
r_0011_0005__has
has
r_0011_0005__has->r_0011_0006__satisfied
[scope]
r_0011_0002__dinner
dinner
r_0011_0005__has->r_0011_0002__dinner
Before [nim]
arc(r_0011_0005__has,r_0011_0002__dinner,r_0011_0001__Before__nim).
arc(r_0011_0005__has,r_0011_0006__satisfied,scope).
arc(r_0011_0006__satisfied,r_0011_0004__he,arg0).
arc(r_0011_0006__satisfied,r_0011_0004__he,arg2).
arc(r_0011_0006__satisfied,r_0011_0021__if,arg1).
arc(r_0011_0016__are_r_0011_0017__in,r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners,arg0).
arc(r_0011_0016__are_r_0011_0017__in,r_0011_0019__order,arg1).
arc(r_0011_0019__order,r_0011_0018__perfect,attrib).
arc(r_0011_0021__if,r_0011_0016__are_r_0011_0017__in,scope).
arc(r_0011_0021__if,r_0011_0022__not,restriction).
arc(r_0011_0022__not,r_0011_0023__lighted,keep_scope).
arc(r_0011_0023__lighted,r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners,arg1).
arc(r_0011_0023__lighted,z_0011_5015___star_,arg0).
arc(r_0011_0026__will,r_0011_0028__be,scope).
arc(r_0011_0028__be,r_0011_0019__order,arg0).
arc(r_0011_0028__be,r_0011_0027__usually,nim).
arc(r_0011_0028__be,r_0011_0029__the_r_0011_0030__case,prd).
%3
r_0011_0005__has_r_0011_0006__satisfied
has satisfied
r_0011_0002__dinner
dinner
r_0011_0005__has_r_0011_0006__satisfied->r_0011_0002__dinner
Before [nim]
r_0011_0004__he
he
r_0011_0005__has_r_0011_0006__satisfied->r_0011_0004__he
[arg0]
r_0011_0005__has_r_0011_0006__satisfied->r_0011_0004__he
[arg2]
r_0011_0021__if
if
r_0011_0005__has_r_0011_0006__satisfied->r_0011_0021__if
[arg1]
r_0011_0016__are_r_0011_0017__in
are in
r_0011_0021__if->r_0011_0016__are_r_0011_0017__in
[scope]
r_0011_0022__not
not
r_0011_0021__if->r_0011_0022__not
[restriction]
r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
the lamps candles or gas-burners
r_0011_0016__are_r_0011_0017__in->r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
[arg0]
r_0011_0019__order
order
r_0011_0016__are_r_0011_0017__in->r_0011_0019__order
[arg1]
r_0011_0018__perfect
perfect
r_0011_0019__order->r_0011_0018__perfect
[attrib]
r_0011_0023__lighted
lighted
r_0011_0022__not->r_0011_0023__lighted
[keep_scope]
r_0011_0023__lighted->r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners
[arg1]
z_0011_5015___star_
*
r_0011_0023__lighted->z_0011_5015___star_
[arg0]
r_0011_0026__will_r_0011_0028__be
will be
r_0011_0026__will_r_0011_0028__be->r_0011_0019__order
[arg0]
r_0011_0027__usually
usually
r_0011_0026__will_r_0011_0028__be->r_0011_0027__usually
[nim]
r_0011_0029__the_r_0011_0030__case
the case
r_0011_0026__will_r_0011_0028__be->r_0011_0029__the_r_0011_0030__case
[prd]
fof(formula,axiom,
? [R_0011_0002__DINNER,R_0011_0004__HE,R_0011_0005__HAS_R_0011_0006__SATISFIED,R_0011_0018__PERFECT,R_0011_0019__ORDER,R_0011_0027__USUALLY,R_0011_0029__THE_R_0011_0030__CASE,R_0011_0026__WILL_R_0011_0028__BE] :
( r_0011_0002__dinner(R_0011_0002__DINNER)
& r_0011_0004__he(R_0011_0004__HE)
& r_0011_0018__perfect(R_0011_0018__PERFECT)
& r_0011_0027__usually(R_0011_0027__USUALLY)
& r_0011_0029__the_r_0011_0030__case(R_0011_0029__THE_R_0011_0030__CASE)
& r_0011_0026__will_r_0011_0028__be(R_0011_0026__WILL_R_0011_0028__BE)
& has_prd(R_0011_0026__WILL_R_0011_0028__BE,R_0011_0029__THE_R_0011_0030__CASE)
& has_nim(R_0011_0026__WILL_R_0011_0028__BE,R_0011_0027__USUALLY)
& has_arg0(R_0011_0026__WILL_R_0011_0028__BE,R_0011_0019__ORDER)
& r_0011_0019__order(R_0011_0019__ORDER)
& has_attrib(R_0011_0019__ORDER,R_0011_0018__PERFECT)
& r_0011_0005__has_r_0011_0006__satisfied(R_0011_0005__HAS_R_0011_0006__SATISFIED)
& ! [R_0011_0022__NOT] :
( ~ ? [R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS,Z_0011_5015___STAR_,R_0011_0023__LIGHTED] :
( r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners(R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS)
& z_0011_5015___star_(Z_0011_5015___STAR_)
& r_0011_0023__lighted(R_0011_0023__LIGHTED)
& has_arg0(R_0011_0023__LIGHTED,Z_0011_5015___STAR_)
& has_arg1(R_0011_0023__LIGHTED,R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS) )
=> ? [R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS,R_0011_0016__ARE_R_0011_0017__IN] :
( r_0011_0009__the_r_0011_0010__lamps_r_0011_0012__candles_r_0011_0014__or_r_0011_0015__gas__hyphen__burners(R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS)
& r_0011_0016__are_r_0011_0017__in(R_0011_0016__ARE_R_0011_0017__IN)
& has_arg1(R_0011_0016__ARE_R_0011_0017__IN,R_0011_0019__ORDER)
& has_arg0(R_0011_0016__ARE_R_0011_0017__IN,R_0011_0009__THE_R_0011_0010__LAMPS_R_0011_0012__CANDLES_R_0011_0014__OR_R_0011_0015__GAS__HYPHEN__BURNERS) ) )
& has_arg2(R_0011_0005__HAS_R_0011_0006__SATISFIED,R_0011_0004__HE)
& has_arg0(R_0011_0005__HAS_R_0011_0006__SATISFIED,R_0011_0004__HE)
& has_r_0011_0001__Before__nim(R_0011_0005__HAS_R_0011_0006__SATISFIED,R_0011_0002__DINNER) ) ).