7_a_wsj_1640
%3
r_0007_0003__amateurs
amateurs
r_0007_0002__rank
rank
r_0007_0003__amateurs->r_0007_0002__rank
[attrib]
r_0007_0004__can
can
r_0007_0001__Even
Even
r_0007_0004__can->r_0007_0001__Even
[nim]
r_0007_0005__do
do
r_0007_0004__can->r_0007_0005__do
[scope]
r_0007_0005__do->r_0007_0003__amateurs
[arg0]
r_0007_0006__it
it
r_0007_0005__do->r_0007_0006__it
[arg1]
r_0007_0007__if
if
r_0007_0007__if->r_0007_0004__can
[scope]
r_0007_0009__spend
spend
r_0007_0007__if->r_0007_0009__spend
[restriction]
r_0007_0009__spend->r_0007_0003__amateurs
[arg0]
r_0007_0010__a_few_r_0007_0011__thousand_r_0007_0012__dollars
a few thousand dollars
r_0007_0009__spend->r_0007_0010__a_few_r_0007_0011__thousand_r_0007_0012__dollars
[arg1]
r_0007_0021__and
and
r_0007_0009__spend->r_0007_0021__and
for [nim]
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver
a microwave receiver
r_0007_0021__and->r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver
[conj1]
r_0007_0022__a_r_0007_0023__VCR_r_0007_0024__recorder
a VCR recorder
r_0007_0021__and->r_0007_0022__a_r_0007_0023__VCR_r_0007_0024__recorder
[conj2]
r_0007_0016__available
available
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver->r_0007_0016__available
[attrib]
r_0007_0020__amplifier
amplifier
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver->r_0007_0020__amplifier
with
r_0007_0015__commercially
commercially
r_0007_0016__available->r_0007_0015__commercially
[qual]
arc(r_0007_0003__amateurs, r_0007_0002__rank, attrib6).
arc(r_0007_0004__can, r_0007_0001__Even, nim2).
arc(r_0007_0004__can, r_0007_0005__do, scope).
arc(r_0007_0005__do, r_0007_0003__amateurs, arg0).
arc(r_0007_0005__do, r_0007_0006__it, arg1).
arc(r_0007_0007__if, r_0007_0004__can, scope).
arc(r_0007_0007__if, r_0007_0009__spend, restriction).
arc(r_0007_0009__spend, r_0007_0003__amateurs, arg0).
arc(r_0007_0009__spend, r_0007_0010__a_few_r_0007_0011__thousand_r_0007_0012__dollars, arg1).
arc(r_0007_0009__spend, r_0007_0021__and, r_0007_0013__for_nim39).
arc(r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver, r_0007_0016__available, attrib44).
arc(r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver, r_0007_0020__amplifier, r_0007_0019__with).
arc(r_0007_0016__available, r_0007_0015__commercially, qual45).
arc(r_0007_0021__and, r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver, conj1).
arc(r_0007_0021__and, r_0007_0022__a_r_0007_0023__VCR_r_0007_0024__recorder, conj2).
%3
r_0007_0021__and
and
r_0007_0022__a_r_0007_0023__VCR_r_0007_0024__recorder
a VCR recorder
r_0007_0021__and->r_0007_0022__a_r_0007_0023__VCR_r_0007_0024__recorder
[conj2]
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver
a microwave receiver
r_0007_0021__and->r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver
[conj1]
r_0007_0016__available
available
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver->r_0007_0016__available
[attrib]
r_0007_0020__amplifier
amplifier
r_0007_0014__a_r_0007_0017__microwave_r_0007_0018__receiver->r_0007_0020__amplifier
with
r_0007_0015__commercially
commercially
r_0007_0016__available->r_0007_0015__commercially
[qual]
r_0007_0009__spend
spend
r_0007_0009__spend->r_0007_0021__and
for [nim]
r_0007_0010__a_few_r_0007_0011__thousand_r_0007_0012__dollars
a few thousand dollars
r_0007_0009__spend->r_0007_0010__a_few_r_0007_0011__thousand_r_0007_0012__dollars
[arg1]
r_0007_0003__amateurs
amateurs
r_0007_0009__spend->r_0007_0003__amateurs
[arg0]
r_0007_0002__rank
rank
r_0007_0003__amateurs->r_0007_0002__rank
[attrib]
r_0007_0007__if
if
r_0007_0007__if->r_0007_0009__spend
[restriction]
r_0007_0004__can_r_0007_0005__do
can do
r_0007_0007__if->r_0007_0004__can_r_0007_0005__do
[scope]
r_0007_0004__can_r_0007_0005__do->r_0007_0003__amateurs
[arg0]
r_0007_0006__it
it
r_0007_0004__can_r_0007_0005__do->r_0007_0006__it
[arg1]
r_0007_0001__Even
Even
r_0007_0004__can_r_0007_0005__do->r_0007_0001__Even
[nim]
fof(formula,axiom,
! [R_7_9_SPEND,R_7_3_AMATEURS,R_7_2_RANK,R_7_10_A_FEW_THOUSAND_DOLLARS,R_7_21_AND,R_7_14_A_MICROWAVE_RECEIVER,R_7_16_AVAILABLE,R_7_15_COMMERCIALLY,R_7_20_AMPLIFIER,R_7_22_A_VCR_RECORDER] :
( ( rank(R_7_2_RANK)
& a_few_thousand_dollars(R_7_10_A_FEW_THOUSAND_DOLLARS)
& commercially(R_7_15_COMMERCIALLY)
& amplifier(R_7_20_AMPLIFIER)
& a_VCR_recorder(R_7_22_A_VCR_RECORDER)
& spend(R_7_9_SPEND,R_7_3_AMATEURS,R_7_10_A_FEW_THOUSAND_DOLLARS)
& amateurs(R_7_3_AMATEURS)
& attrib6(R_7_3_AMATEURS,R_7_2_RANK)
& for_nim39(R_7_9_SPEND,R_7_21_AND)
& and(R_7_21_AND)
& conj1(R_7_21_AND,R_7_14_A_MICROWAVE_RECEIVER)
& a_microwave_receiver(R_7_14_A_MICROWAVE_RECEIVER)
& attrib44(R_7_14_A_MICROWAVE_RECEIVER,R_7_16_AVAILABLE)
& available(R_7_16_AVAILABLE)
& qual45(R_7_16_AVAILABLE,R_7_15_COMMERCIALLY)
& with(R_7_14_A_MICROWAVE_RECEIVER,R_7_20_AMPLIFIER)
& conj2(R_7_21_AND,R_7_22_A_VCR_RECORDER) )
=> ? [R_7_4_CAN_DO,R_7_6_IT,R_7_1_EVEN] :
( it(R_7_6_IT)
& even(R_7_1_EVEN)
& can_do(R_7_4_CAN_DO,R_7_3_AMATEURS,R_7_6_IT)
& nim2(R_7_4_CAN_DO,R_7_1_EVEN) ) ) ).
n7_a_wsj_1640
n7_a_wsj_1640__1_1_1_1
Even
n7_a_wsj_1640__1_2_1_1_1
rank
n7_a_wsj_1640__1_2_2_1
amateurs
n7_a_wsj_1640__1_3_1_1
can
n7_a_wsj_1640__1_3_2_1_1
do
n7_a_wsj_1640__1_3_2_2_1_1
it
n7_a_wsj_1640__1_4_1_1
if
n7_a_wsj_1640__1_4_2_1_1_1
they
n7_a_wsj_1640__1_4_2_2_1
spend
n7_a_wsj_1640__1_4_2_3_1_1
a_few
n7_a_wsj_1640__1_4_2_3_2_1
thousand
n7_a_wsj_1640__1_4_2_3_3_1
dollars
n7_a_wsj_1640__1_4_2_4_1_1
for
n7_a_wsj_1640__1_4_2_4_2_1_1_1_1
a
n7_a_wsj_1640__1_4_2_4_2_1_1_2_1_1_1
commercially
n7_a_wsj_1640__1_4_2_4_2_1_1_2_2_1
available
n7_a_wsj_1640__1_4_2_4_2_1_1_3_1
microwave
n7_a_wsj_1640__1_4_2_4_2_1_1_4_1
receiver
n7_a_wsj_1640__1_4_2_4_2_1_1_5_1_1
with
n7_a_wsj_1640__1_4_2_4_2_1_1_5_2_1_1
amplifier
n7_a_wsj_1640__1_4_2_4_2_1_2_1_1
and
n7_a_wsj_1640__1_4_2_4_2_1_2_2_1_1
a
n7_a_wsj_1640__1_4_2_4_2_1_2_2_2_1
VCR
n7_a_wsj_1640__1_4_2_4_2_1_2_2_3_1
recorder
n7_a_wsj_1640__1_5_1
.
n7_a_wsj_1640__1
IP-MAT
n7_a_wsj_1640__1_1
ADVP-NIM
n7_a_wsj_1640__1->n7_a_wsj_1640__1_1
n7_a_wsj_1640__1_2
NP-SBJ
n7_a_wsj_1640__1->n7_a_wsj_1640__1_2
n7_a_wsj_1640__1_3
ILYR
n7_a_wsj_1640__1->n7_a_wsj_1640__1_3
n7_a_wsj_1640__1_4
PP-SCON
n7_a_wsj_1640__1->n7_a_wsj_1640__1_4
n7_a_wsj_1640__1_5
PUNC
n7_a_wsj_1640__1->n7_a_wsj_1640__1_5
n7_a_wsj_1640__1_1_1
ADV
n7_a_wsj_1640__1_1->n7_a_wsj_1640__1_1_1
n7_a_wsj_1640__1_1_1->n7_a_wsj_1640__1_1_1_1
n7_a_wsj_1640__1_2_1
ADJP
n7_a_wsj_1640__1_2->n7_a_wsj_1640__1_2_1
n7_a_wsj_1640__1_2_2
NS
n7_a_wsj_1640__1_2->n7_a_wsj_1640__1_2_2
n7_a_wsj_1640__1_2_1_1
ADJ
n7_a_wsj_1640__1_2_1->n7_a_wsj_1640__1_2_1_1
n7_a_wsj_1640__1_2_1_1->n7_a_wsj_1640__1_2_1_1_1
n7_a_wsj_1640__1_2_2->n7_a_wsj_1640__1_2_2_1
n7_a_wsj_1640__1_3_1
MD;_cat_Vi_
n7_a_wsj_1640__1_3->n7_a_wsj_1640__1_3_1
n7_a_wsj_1640__1_3_2
IP-INF-CAT
n7_a_wsj_1640__1_3->n7_a_wsj_1640__1_3_2
n7_a_wsj_1640__1_3_1->n7_a_wsj_1640__1_3_1_1
n7_a_wsj_1640__1_3_2_1
DO;_Tn_
n7_a_wsj_1640__1_3_2->n7_a_wsj_1640__1_3_2_1
n7_a_wsj_1640__1_3_2_2
NP-OB1
n7_a_wsj_1640__1_3_2->n7_a_wsj_1640__1_3_2_2
n7_a_wsj_1640__1_3_2_1->n7_a_wsj_1640__1_3_2_1_1
n7_a_wsj_1640__1_3_2_2_1
PRO
n7_a_wsj_1640__1_3_2_2->n7_a_wsj_1640__1_3_2_2_1
n7_a_wsj_1640__1_3_2_2_1->n7_a_wsj_1640__1_3_2_2_1_1
n7_a_wsj_1640__1_4_1
P-CONN
n7_a_wsj_1640__1_4->n7_a_wsj_1640__1_4_1
n7_a_wsj_1640__1_4_2
IP-ADV
n7_a_wsj_1640__1_4->n7_a_wsj_1640__1_4_2
n7_a_wsj_1640__1_4_1->n7_a_wsj_1640__1_4_1_1
n7_a_wsj_1640__1_4_2_1
NP-SBJ
n7_a_wsj_1640__1_4_2->n7_a_wsj_1640__1_4_2_1
n7_a_wsj_1640__1_4_2_2
VBP;_Tn_
n7_a_wsj_1640__1_4_2->n7_a_wsj_1640__1_4_2_2
n7_a_wsj_1640__1_4_2_3
NP-OB1
n7_a_wsj_1640__1_4_2->n7_a_wsj_1640__1_4_2_3
n7_a_wsj_1640__1_4_2_4
PP-NIM
n7_a_wsj_1640__1_4_2->n7_a_wsj_1640__1_4_2_4
n7_a_wsj_1640__1_4_2_1_1
PRO
n7_a_wsj_1640__1_4_2_1->n7_a_wsj_1640__1_4_2_1_1
n7_a_wsj_1640__1_4_2_1_1->n7_a_wsj_1640__1_4_2_1_1_1
n7_a_wsj_1640__1_4_2_2->n7_a_wsj_1640__1_4_2_2_1
n7_a_wsj_1640__1_4_2_3_1
D
n7_a_wsj_1640__1_4_2_3->n7_a_wsj_1640__1_4_2_3_1
n7_a_wsj_1640__1_4_2_3_2
NUM
n7_a_wsj_1640__1_4_2_3->n7_a_wsj_1640__1_4_2_3_2
n7_a_wsj_1640__1_4_2_3_3
NS
n7_a_wsj_1640__1_4_2_3->n7_a_wsj_1640__1_4_2_3_3
n7_a_wsj_1640__1_4_2_3_1->n7_a_wsj_1640__1_4_2_3_1_1
n7_a_wsj_1640__1_4_2_3_2->n7_a_wsj_1640__1_4_2_3_2_1
n7_a_wsj_1640__1_4_2_3_3->n7_a_wsj_1640__1_4_2_3_3_1
n7_a_wsj_1640__1_4_2_4_1
P-ROLE
n7_a_wsj_1640__1_4_2_4->n7_a_wsj_1640__1_4_2_4_1
n7_a_wsj_1640__1_4_2_4_2
NP
n7_a_wsj_1640__1_4_2_4->n7_a_wsj_1640__1_4_2_4_2
n7_a_wsj_1640__1_4_2_4_1->n7_a_wsj_1640__1_4_2_4_1_1
n7_a_wsj_1640__1_4_2_4_2_1
NLYR
n7_a_wsj_1640__1_4_2_4_2->n7_a_wsj_1640__1_4_2_4_2_1
n7_a_wsj_1640__1_4_2_4_2_1_1
NLYR
n7_a_wsj_1640__1_4_2_4_2_1->n7_a_wsj_1640__1_4_2_4_2_1_1
n7_a_wsj_1640__1_4_2_4_2_1_2
CONJP
n7_a_wsj_1640__1_4_2_4_2_1->n7_a_wsj_1640__1_4_2_4_2_1_2
n7_a_wsj_1640__1_4_2_4_2_1_1_1
D
n7_a_wsj_1640__1_4_2_4_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_1
n7_a_wsj_1640__1_4_2_4_2_1_1_2
ADJP
n7_a_wsj_1640__1_4_2_4_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_2
n7_a_wsj_1640__1_4_2_4_2_1_1_3
N
n7_a_wsj_1640__1_4_2_4_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_3
n7_a_wsj_1640__1_4_2_4_2_1_1_4
N
n7_a_wsj_1640__1_4_2_4_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_4
n7_a_wsj_1640__1_4_2_4_2_1_1_5
PP
n7_a_wsj_1640__1_4_2_4_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_5
n7_a_wsj_1640__1_4_2_4_2_1_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_1_1
n7_a_wsj_1640__1_4_2_4_2_1_1_2_1
ADVP
n7_a_wsj_1640__1_4_2_4_2_1_1_2->n7_a_wsj_1640__1_4_2_4_2_1_1_2_1
n7_a_wsj_1640__1_4_2_4_2_1_1_2_2
ADJ
n7_a_wsj_1640__1_4_2_4_2_1_1_2->n7_a_wsj_1640__1_4_2_4_2_1_1_2_2
n7_a_wsj_1640__1_4_2_4_2_1_1_2_1_1
ADV
n7_a_wsj_1640__1_4_2_4_2_1_1_2_1->n7_a_wsj_1640__1_4_2_4_2_1_1_2_1_1
n7_a_wsj_1640__1_4_2_4_2_1_1_2_1_1->n7_a_wsj_1640__1_4_2_4_2_1_1_2_1_1_1
n7_a_wsj_1640__1_4_2_4_2_1_1_2_2->n7_a_wsj_1640__1_4_2_4_2_1_1_2_2_1
n7_a_wsj_1640__1_4_2_4_2_1_1_3->n7_a_wsj_1640__1_4_2_4_2_1_1_3_1
n7_a_wsj_1640__1_4_2_4_2_1_1_4->n7_a_wsj_1640__1_4_2_4_2_1_1_4_1
n7_a_wsj_1640__1_4_2_4_2_1_1_5_1
P-ROLE
n7_a_wsj_1640__1_4_2_4_2_1_1_5->n7_a_wsj_1640__1_4_2_4_2_1_1_5_1
n7_a_wsj_1640__1_4_2_4_2_1_1_5_2
NP
n7_a_wsj_1640__1_4_2_4_2_1_1_5->n7_a_wsj_1640__1_4_2_4_2_1_1_5_2
n7_a_wsj_1640__1_4_2_4_2_1_1_5_1->n7_a_wsj_1640__1_4_2_4_2_1_1_5_1_1
n7_a_wsj_1640__1_4_2_4_2_1_1_5_2_1
N
n7_a_wsj_1640__1_4_2_4_2_1_1_5_2->n7_a_wsj_1640__1_4_2_4_2_1_1_5_2_1
n7_a_wsj_1640__1_4_2_4_2_1_1_5_2_1->n7_a_wsj_1640__1_4_2_4_2_1_1_5_2_1_1
n7_a_wsj_1640__1_4_2_4_2_1_2_1
CONJ
n7_a_wsj_1640__1_4_2_4_2_1_2->n7_a_wsj_1640__1_4_2_4_2_1_2_1
n7_a_wsj_1640__1_4_2_4_2_1_2_2
NLYR
n7_a_wsj_1640__1_4_2_4_2_1_2->n7_a_wsj_1640__1_4_2_4_2_1_2_2
n7_a_wsj_1640__1_4_2_4_2_1_2_1->n7_a_wsj_1640__1_4_2_4_2_1_2_1_1
n7_a_wsj_1640__1_4_2_4_2_1_2_2_1
D
n7_a_wsj_1640__1_4_2_4_2_1_2_2->n7_a_wsj_1640__1_4_2_4_2_1_2_2_1
n7_a_wsj_1640__1_4_2_4_2_1_2_2_2
N
n7_a_wsj_1640__1_4_2_4_2_1_2_2->n7_a_wsj_1640__1_4_2_4_2_1_2_2_2
n7_a_wsj_1640__1_4_2_4_2_1_2_2_3
N
n7_a_wsj_1640__1_4_2_4_2_1_2_2->n7_a_wsj_1640__1_4_2_4_2_1_2_2_3
n7_a_wsj_1640__1_4_2_4_2_1_2_2_1->n7_a_wsj_1640__1_4_2_4_2_1_2_2_1_1
n7_a_wsj_1640__1_4_2_4_2_1_2_2_2->n7_a_wsj_1640__1_4_2_4_2_1_2_2_2_1
n7_a_wsj_1640__1_4_2_4_2_1_2_2_3->n7_a_wsj_1640__1_4_2_4_2_1_2_2_3_1
n7_a_wsj_1640__1_5->n7_a_wsj_1640__1_5_1
( (IP-MAT (ADVP-NIM (ADV Even;{even}))
(NP-SBJ;{AMATEURS} (ADJP (ADJ rank;{rank}))
(NS amateurs;{amateur}))
(ILYR (MD;_cat_Vi_ can;{can})
(IP-INF-CAT (DO;_Tn_ do;{do})
(NP-OB1;{PIRATE_SECRETS} (PRO it;{it}))))
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{AMATEURS} (PRO they;{they}))
(VBP;_Tn_ spend;{spend})
(NP-OB1 (D a_few;{a_few})
(NUM thousand;{thousand})
(NS dollars;{dollar}))
(PP-NIM (P-ROLE for;{for})
(NP (NLYR (NLYR (D a;{a})
(ADJP (ADVP (ADV commercially;{commercially}))
(ADJ available;{available}))
(N microwave;{microwave})
(N receiver;{receiver})
(PP (P-ROLE with;{with})
(NP (N amplifier;{amplifier}))))
(CONJP (CONJ and;{and})
(NLYR (D a;{a})
(N VCR;{vcr})
(N recorder;{recorder}))))))))
(PUNC .))
(ID 7_a_wsj_1640))