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_0003__amateurs
amateurs
r_0007_0002__rank
rank
r_0007_0003__amateurs->r_0007_0002__rank
[attrib]
r_0007_0004__can_r_0007_0005__do
can do
r_0007_0004__can_r_0007_0005__do->r_0007_0003__amateurs
[arg0]
r_0007_0001__Even
Even
r_0007_0004__can_r_0007_0005__do->r_0007_0001__Even
[nim]
r_0007_0006__it
it
r_0007_0004__can_r_0007_0005__do->r_0007_0006__it
[arg1]
r_0007_0007__if
if
r_0007_0007__if->r_0007_0004__can_r_0007_0005__do
[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]
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_4
Even
n7_a_wsj_1640_8
rank
n7_a_wsj_1640_10
amateurs
n7_a_wsj_1640_13
can
n7_a_wsj_1640_16
do
n7_a_wsj_1640_19
it
n7_a_wsj_1640_22
if
n7_a_wsj_1640_26
they
n7_a_wsj_1640_28
spend
n7_a_wsj_1640_31
a_few
n7_a_wsj_1640_33
thousand
n7_a_wsj_1640_35
dollars
n7_a_wsj_1640_38
for
n7_a_wsj_1640_43
a
n7_a_wsj_1640_47
commercially
n7_a_wsj_1640_49
available
n7_a_wsj_1640_51
microwave
n7_a_wsj_1640_53
receiver
n7_a_wsj_1640_56
with
n7_a_wsj_1640_59
amplifier
n7_a_wsj_1640_62
and
n7_a_wsj_1640_65
a
n7_a_wsj_1640_67
VCR
n7_a_wsj_1640_69
recorder
n7_a_wsj_1640_71
.
n7_a_wsj_1640_1
IP-MAT
n7_a_wsj_1640_2
ADVP-NIM
n7_a_wsj_1640_1->n7_a_wsj_1640_2
n7_a_wsj_1640_5
NP-SBJ
n7_a_wsj_1640_1->n7_a_wsj_1640_5
n7_a_wsj_1640_11
ILYR
n7_a_wsj_1640_1->n7_a_wsj_1640_11
n7_a_wsj_1640_20
PP-SCON
n7_a_wsj_1640_1->n7_a_wsj_1640_20
n7_a_wsj_1640_70
PUNC
n7_a_wsj_1640_1->n7_a_wsj_1640_70
n7_a_wsj_1640_3
ADV
n7_a_wsj_1640_2->n7_a_wsj_1640_3
n7_a_wsj_1640_3->n7_a_wsj_1640_4
n7_a_wsj_1640_6
ADJP
n7_a_wsj_1640_5->n7_a_wsj_1640_6
n7_a_wsj_1640_9
NS
n7_a_wsj_1640_5->n7_a_wsj_1640_9
n7_a_wsj_1640_7
ADJ
n7_a_wsj_1640_6->n7_a_wsj_1640_7
n7_a_wsj_1640_7->n7_a_wsj_1640_8
n7_a_wsj_1640_9->n7_a_wsj_1640_10
n7_a_wsj_1640_12
MD;_cat_Vi_
n7_a_wsj_1640_11->n7_a_wsj_1640_12
n7_a_wsj_1640_14
IP-INF-CAT
n7_a_wsj_1640_11->n7_a_wsj_1640_14
n7_a_wsj_1640_12->n7_a_wsj_1640_13
n7_a_wsj_1640_15
DO;_Tn_
n7_a_wsj_1640_14->n7_a_wsj_1640_15
n7_a_wsj_1640_17
NP-OB1
n7_a_wsj_1640_14->n7_a_wsj_1640_17
n7_a_wsj_1640_15->n7_a_wsj_1640_16
n7_a_wsj_1640_18
PRO
n7_a_wsj_1640_17->n7_a_wsj_1640_18
n7_a_wsj_1640_18->n7_a_wsj_1640_19
n7_a_wsj_1640_21
P-CONN
n7_a_wsj_1640_20->n7_a_wsj_1640_21
n7_a_wsj_1640_23
IP-ADV
n7_a_wsj_1640_20->n7_a_wsj_1640_23
n7_a_wsj_1640_21->n7_a_wsj_1640_22
n7_a_wsj_1640_24
NP-SBJ
n7_a_wsj_1640_23->n7_a_wsj_1640_24
n7_a_wsj_1640_27
VBP;_Tn_
n7_a_wsj_1640_23->n7_a_wsj_1640_27
n7_a_wsj_1640_29
NP-OB1
n7_a_wsj_1640_23->n7_a_wsj_1640_29
n7_a_wsj_1640_36
PP-NIM
n7_a_wsj_1640_23->n7_a_wsj_1640_36
n7_a_wsj_1640_25
PRO
n7_a_wsj_1640_24->n7_a_wsj_1640_25
n7_a_wsj_1640_25->n7_a_wsj_1640_26
n7_a_wsj_1640_27->n7_a_wsj_1640_28
n7_a_wsj_1640_30
D
n7_a_wsj_1640_29->n7_a_wsj_1640_30
n7_a_wsj_1640_32
NUM
n7_a_wsj_1640_29->n7_a_wsj_1640_32
n7_a_wsj_1640_34
NS
n7_a_wsj_1640_29->n7_a_wsj_1640_34
n7_a_wsj_1640_30->n7_a_wsj_1640_31
n7_a_wsj_1640_32->n7_a_wsj_1640_33
n7_a_wsj_1640_34->n7_a_wsj_1640_35
n7_a_wsj_1640_37
P-ROLE
n7_a_wsj_1640_36->n7_a_wsj_1640_37
n7_a_wsj_1640_39
NP
n7_a_wsj_1640_36->n7_a_wsj_1640_39
n7_a_wsj_1640_37->n7_a_wsj_1640_38
n7_a_wsj_1640_40
NLYR
n7_a_wsj_1640_39->n7_a_wsj_1640_40
n7_a_wsj_1640_41
NLYR
n7_a_wsj_1640_40->n7_a_wsj_1640_41
n7_a_wsj_1640_60
CONJP
n7_a_wsj_1640_40->n7_a_wsj_1640_60
n7_a_wsj_1640_42
D
n7_a_wsj_1640_41->n7_a_wsj_1640_42
n7_a_wsj_1640_44
ADJP
n7_a_wsj_1640_41->n7_a_wsj_1640_44
n7_a_wsj_1640_50
N
n7_a_wsj_1640_41->n7_a_wsj_1640_50
n7_a_wsj_1640_52
N
n7_a_wsj_1640_41->n7_a_wsj_1640_52
n7_a_wsj_1640_54
PP
n7_a_wsj_1640_41->n7_a_wsj_1640_54
n7_a_wsj_1640_42->n7_a_wsj_1640_43
n7_a_wsj_1640_45
ADVP
n7_a_wsj_1640_44->n7_a_wsj_1640_45
n7_a_wsj_1640_48
ADJ
n7_a_wsj_1640_44->n7_a_wsj_1640_48
n7_a_wsj_1640_46
ADV
n7_a_wsj_1640_45->n7_a_wsj_1640_46
n7_a_wsj_1640_46->n7_a_wsj_1640_47
n7_a_wsj_1640_48->n7_a_wsj_1640_49
n7_a_wsj_1640_50->n7_a_wsj_1640_51
n7_a_wsj_1640_52->n7_a_wsj_1640_53
n7_a_wsj_1640_55
P-ROLE
n7_a_wsj_1640_54->n7_a_wsj_1640_55
n7_a_wsj_1640_57
NP
n7_a_wsj_1640_54->n7_a_wsj_1640_57
n7_a_wsj_1640_55->n7_a_wsj_1640_56
n7_a_wsj_1640_58
N
n7_a_wsj_1640_57->n7_a_wsj_1640_58
n7_a_wsj_1640_58->n7_a_wsj_1640_59
n7_a_wsj_1640_61
CONJ
n7_a_wsj_1640_60->n7_a_wsj_1640_61
n7_a_wsj_1640_63
NLYR
n7_a_wsj_1640_60->n7_a_wsj_1640_63
n7_a_wsj_1640_61->n7_a_wsj_1640_62
n7_a_wsj_1640_64
D
n7_a_wsj_1640_63->n7_a_wsj_1640_64
n7_a_wsj_1640_66
N
n7_a_wsj_1640_63->n7_a_wsj_1640_66
n7_a_wsj_1640_68
N
n7_a_wsj_1640_63->n7_a_wsj_1640_68
n7_a_wsj_1640_64->n7_a_wsj_1640_65
n7_a_wsj_1640_66->n7_a_wsj_1640_67
n7_a_wsj_1640_68->n7_a_wsj_1640_69
n7_a_wsj_1640_70->n7_a_wsj_1640_71
( (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))