70_a_factbook_2_2010
%3
r_0070_0001__No_quant
No [quant]
r_0070_0002__country
country
r_0070_0001__No_quant->r_0070_0002__country
[restriction]
r_0070_0003__is
is
r_0070_0001__No_quant->r_0070_0003__is
[scope]
r_0070_0005__governed
governed
r_0070_0003__is->r_0070_0005__governed
[scope]
r_0070_0005__governed->r_0070_0002__country
[arg1]
r_0070_0004__fully
fully
r_0070_0005__governed->r_0070_0004__fully
[nim]
r_0070_0007__halakha
halakha
r_0070_0005__governed->r_0070_0007__halakha
[arg0]
r_0070_0009__but
but
r_0070_0009__but->r_0070_0001__No_quant
[conj1]
r_0070_0012__may
may
r_0070_0009__but->r_0070_0012__may
[conj2]
r_0070_0020__and
and
r_0070_0012__may->r_0070_0020__and
[scope]
r_0070_0011__people
people
r_0070_0010__Jewish
Jewish
r_0070_0011__people->r_0070_0010__Jewish
[attrib]
r_0070_0013__decide
decide
r_0070_0020__and->r_0070_0013__decide
[conj1]
r_0070_0021__be
be
r_0070_0020__and->r_0070_0021__be
[conj2]
r_0070_0013__decide->r_0070_0011__people
[arg0]
r_0070_0014__to_r_0070_0015__settle
to settle
r_0070_0013__decide->r_0070_0014__to_r_0070_0015__settle
[arg1]
r_0070_0014__to_r_0070_0015__settle->r_0070_0011__people
[arg0]
r_0070_0016__disputes
disputes
r_0070_0014__to_r_0070_0015__settle->r_0070_0016__disputes
[arg1]
r_0070_0019__courts
courts
r_0070_0014__to_r_0070_0015__settle->r_0070_0019__courts
through [nim]
r_0070_0018__Jewish
Jewish
r_0070_0019__courts->r_0070_0018__Jewish
[attrib]
r_0070_0022__bound
bound
r_0070_0021__be->r_0070_0022__bound
[scope]
r_0070_0022__bound->r_0070_0011__people
[arg1]
r_0070_0025__rulings
rulings
r_0070_0022__bound->r_0070_0025__rulings
[arg0]
r_0070_0025__rulings->r_0070_0019__courts
[gen]
arc(r_0070_0001__No_quant, r_0070_0002__country, restriction).
arc(r_0070_0001__No_quant, r_0070_0003__is, scope).
arc(r_0070_0003__is, r_0070_0005__governed, scope).
arc(r_0070_0005__governed, r_0070_0002__country, arg1).
arc(r_0070_0005__governed, r_0070_0004__fully, nim12).
arc(r_0070_0005__governed, r_0070_0007__halakha, arg0).
arc(r_0070_0009__but, r_0070_0001__No_quant, conj1).
arc(r_0070_0009__but, r_0070_0012__may, conj2).
arc(r_0070_0011__people, r_0070_0010__Jewish, attrib30).
arc(r_0070_0012__may, r_0070_0020__and, scope).
arc(r_0070_0013__decide, r_0070_0011__people, arg0).
arc(r_0070_0013__decide, r_0070_0014__to_r_0070_0015__settle, arg1).
arc(r_0070_0014__to_r_0070_0015__settle, r_0070_0011__people, arg0).
arc(r_0070_0014__to_r_0070_0015__settle, r_0070_0016__disputes, arg1).
arc(r_0070_0014__to_r_0070_0015__settle, r_0070_0019__courts, r_0070_0017__through_nim53).
arc(r_0070_0019__courts, r_0070_0018__Jewish, attrib54).
arc(r_0070_0020__and, r_0070_0013__decide, conj1).
arc(r_0070_0020__and, r_0070_0021__be, conj2).
arc(r_0070_0021__be, r_0070_0022__bound, scope).
arc(r_0070_0022__bound, r_0070_0011__people, arg1).
arc(r_0070_0022__bound, r_0070_0025__rulings, arg0).
arc(r_0070_0025__rulings, r_0070_0019__courts, gen).
%3
r_0070_0001__No_quant
No [quant]
r_0070_0002__country
country
r_0070_0001__No_quant->r_0070_0002__country
[restriction]
r_0070_0003__is_r_0070_0005__governed
is governed
r_0070_0001__No_quant->r_0070_0003__is_r_0070_0005__governed
[scope]
r_0070_0003__is_r_0070_0005__governed->r_0070_0002__country
[arg1]
r_0070_0004__fully
fully
r_0070_0003__is_r_0070_0005__governed->r_0070_0004__fully
[nim]
r_0070_0007__halakha
halakha
r_0070_0003__is_r_0070_0005__governed->r_0070_0007__halakha
[arg0]
r_0070_0009__but
but
r_0070_0009__but->r_0070_0001__No_quant
[conj1]
r_0070_0012__may
may
r_0070_0009__but->r_0070_0012__may
[conj2]
r_0070_0020__and
and
r_0070_0012__may->r_0070_0020__and
[keep_scope]
r_0070_0011__people
people
r_0070_0010__Jewish
Jewish
r_0070_0011__people->r_0070_0010__Jewish
[attrib]
r_0070_0013__decide
decide
r_0070_0020__and->r_0070_0013__decide
[conj1]
r_0070_0021__be_r_0070_0022__bound
be bound
r_0070_0020__and->r_0070_0021__be_r_0070_0022__bound
[conj2]
r_0070_0013__decide->r_0070_0011__people
[arg0]
r_0070_0014__to_r_0070_0015__settle
to settle
r_0070_0013__decide->r_0070_0014__to_r_0070_0015__settle
[arg1]
r_0070_0014__to_r_0070_0015__settle->r_0070_0011__people
[arg0]
r_0070_0016__disputes
disputes
r_0070_0014__to_r_0070_0015__settle->r_0070_0016__disputes
[arg1]
r_0070_0019__courts
courts
r_0070_0014__to_r_0070_0015__settle->r_0070_0019__courts
through [nim]
r_0070_0018__Jewish
Jewish
r_0070_0019__courts->r_0070_0018__Jewish
[attrib]
r_0070_0021__be_r_0070_0022__bound->r_0070_0011__people
[arg1]
r_0070_0025__rulings
rulings
r_0070_0021__be_r_0070_0022__bound->r_0070_0025__rulings
[arg0]
r_0070_0025__rulings->r_0070_0019__courts
[gen]
fof(formula,axiom,
? [R_70_9_BUT] :
( ! [R_70_2_COUNTRY] :
( country(R_70_2_COUNTRY)
=> ? [R_70_3_IS_GOVERNED,R_70_7_HALAKHA,R_70_4_FULLY] :
( halakha(R_70_7_HALAKHA)
& fully(R_70_4_FULLY)
& is_governed(R_70_3_IS_GOVERNED,R_70_7_HALAKHA,R_70_2_COUNTRY)
& nim12(R_70_3_IS_GOVERNED,R_70_4_FULLY) ) )
& conj1(CONJ1)
& but(R_70_9_BUT)
& conj2(R_70_9_BUT,R_70_12_MAY)
& ~ ? [R_70_20_AND,R_70_13_DECIDE,R_70_14_TO_SETTLE,R_70_16_DISPUTES,R_70_21_BE_BOUND,R_70_25_RULINGS,R_70_19_COURTS,R_70_18_JEWISH,R_70_11_PEOPLE,R_70_10_JEWISH] :
( disputes(R_70_16_DISPUTES)
& jewish(R_70_18_JEWISH)
& jewish(R_70_10_JEWISH)
& and(R_70_20_AND)
& conj1(R_70_20_AND,R_70_13_DECIDE)
& decide(R_70_13_DECIDE,R_70_11_PEOPLE,R_70_14_TO_SETTLE)
& people(R_70_11_PEOPLE)
& attrib30(R_70_11_PEOPLE,R_70_10_JEWISH)
& to_settle(R_70_14_TO_SETTLE,R_70_11_PEOPLE,R_70_16_DISPUTES)
& through_nim53(R_70_14_TO_SETTLE,R_70_19_COURTS)
& courts(R_70_19_COURTS)
& attrib54(R_70_19_COURTS,R_70_18_JEWISH)
& conj2(R_70_20_AND,R_70_21_BE_BOUND)
& be_bound(R_70_21_BE_BOUND,R_70_25_RULINGS,R_70_11_PEOPLE)
& rulings(R_70_25_RULINGS)
& gen(R_70_25_RULINGS,R_70_19_COURTS) ) ) ).
n70_a_factbook_2_2010
n70_a_factbook_2_2010_6
No
n70_a_factbook_2_2010_8
country
n70_a_factbook_2_2010_10
is
n70_a_factbook_2_2010_14
fully
n70_a_factbook_2_2010_16
governed
n70_a_factbook_2_2010_19
by
n70_a_factbook_2_2010_22
halakha
n70_a_factbook_2_2010_24
,
n70_a_factbook_2_2010_27
but
n70_a_factbook_2_2010_32
Jewish
n70_a_factbook_2_2010_34
people
n70_a_factbook_2_2010_36
may
n70_a_factbook_2_2010_41
decide
n70_a_factbook_2_2010_44
to
n70_a_factbook_2_2010_46
settle
n70_a_factbook_2_2010_49
disputes
n70_a_factbook_2_2010_52
through
n70_a_factbook_2_2010_56
Jewish
n70_a_factbook_2_2010_58
courts
n70_a_factbook_2_2010_61
and
n70_a_factbook_2_2010_64
be
n70_a_factbook_2_2010_67
bound
n70_a_factbook_2_2010_70
by
n70_a_factbook_2_2010_74
their
n70_a_factbook_2_2010_76
rulings
n70_a_factbook_2_2010_78
.
n70_a_factbook_2_2010_1
IP-MAT
n70_a_factbook_2_2010_2
ILYR
n70_a_factbook_2_2010_1->n70_a_factbook_2_2010_2
n70_a_factbook_2_2010_77
PUNC
n70_a_factbook_2_2010_1->n70_a_factbook_2_2010_77
n70_a_factbook_2_2010_3
ILYR
n70_a_factbook_2_2010_2->n70_a_factbook_2_2010_3
n70_a_factbook_2_2010_23
PUNC
n70_a_factbook_2_2010_2->n70_a_factbook_2_2010_23
n70_a_factbook_2_2010_25
CONJP
n70_a_factbook_2_2010_2->n70_a_factbook_2_2010_25
n70_a_factbook_2_2010_4
NP-SBJ
n70_a_factbook_2_2010_3->n70_a_factbook_2_2010_4
n70_a_factbook_2_2010_9
BEP;_cat_VePASS_
n70_a_factbook_2_2010_3->n70_a_factbook_2_2010_9
n70_a_factbook_2_2010_11
IP-PPL-CAT
n70_a_factbook_2_2010_3->n70_a_factbook_2_2010_11
n70_a_factbook_2_2010_5
Q
n70_a_factbook_2_2010_4->n70_a_factbook_2_2010_5
n70_a_factbook_2_2010_7
N
n70_a_factbook_2_2010_4->n70_a_factbook_2_2010_7
n70_a_factbook_2_2010_5->n70_a_factbook_2_2010_6
n70_a_factbook_2_2010_7->n70_a_factbook_2_2010_8
n70_a_factbook_2_2010_9->n70_a_factbook_2_2010_10
n70_a_factbook_2_2010_12
ADVP-NIM
n70_a_factbook_2_2010_11->n70_a_factbook_2_2010_12
n70_a_factbook_2_2010_15
VVN;__
n70_a_factbook_2_2010_11->n70_a_factbook_2_2010_15
n70_a_factbook_2_2010_17
PP-LGS
n70_a_factbook_2_2010_11->n70_a_factbook_2_2010_17
n70_a_factbook_2_2010_13
ADV
n70_a_factbook_2_2010_12->n70_a_factbook_2_2010_13
n70_a_factbook_2_2010_13->n70_a_factbook_2_2010_14
n70_a_factbook_2_2010_15->n70_a_factbook_2_2010_16
n70_a_factbook_2_2010_18
P-ROLE;_lgs_
n70_a_factbook_2_2010_17->n70_a_factbook_2_2010_18
n70_a_factbook_2_2010_20
NP
n70_a_factbook_2_2010_17->n70_a_factbook_2_2010_20
n70_a_factbook_2_2010_18->n70_a_factbook_2_2010_19
n70_a_factbook_2_2010_21
N
n70_a_factbook_2_2010_20->n70_a_factbook_2_2010_21
n70_a_factbook_2_2010_21->n70_a_factbook_2_2010_22
n70_a_factbook_2_2010_23->n70_a_factbook_2_2010_24
n70_a_factbook_2_2010_26
CONJ
n70_a_factbook_2_2010_25->n70_a_factbook_2_2010_26
n70_a_factbook_2_2010_28
ILYR
n70_a_factbook_2_2010_25->n70_a_factbook_2_2010_28
n70_a_factbook_2_2010_26->n70_a_factbook_2_2010_27
n70_a_factbook_2_2010_29
NP-SBJ
n70_a_factbook_2_2010_28->n70_a_factbook_2_2010_29
n70_a_factbook_2_2010_35
MD;_cat_Vi_
n70_a_factbook_2_2010_28->n70_a_factbook_2_2010_35
n70_a_factbook_2_2010_37
IP-INF-CAT
n70_a_factbook_2_2010_28->n70_a_factbook_2_2010_37
n70_a_factbook_2_2010_30
ADJP
n70_a_factbook_2_2010_29->n70_a_factbook_2_2010_30
n70_a_factbook_2_2010_33
NS
n70_a_factbook_2_2010_29->n70_a_factbook_2_2010_33
n70_a_factbook_2_2010_31
ADJ
n70_a_factbook_2_2010_30->n70_a_factbook_2_2010_31
n70_a_factbook_2_2010_31->n70_a_factbook_2_2010_32
n70_a_factbook_2_2010_33->n70_a_factbook_2_2010_34
n70_a_factbook_2_2010_35->n70_a_factbook_2_2010_36
n70_a_factbook_2_2010_38
ILYR
n70_a_factbook_2_2010_37->n70_a_factbook_2_2010_38
n70_a_factbook_2_2010_39
ILYR
n70_a_factbook_2_2010_38->n70_a_factbook_2_2010_39
n70_a_factbook_2_2010_59
CONJP
n70_a_factbook_2_2010_38->n70_a_factbook_2_2010_59
n70_a_factbook_2_2010_40
VB;__
n70_a_factbook_2_2010_39->n70_a_factbook_2_2010_40
n70_a_factbook_2_2010_42
IP-INF-OB1
n70_a_factbook_2_2010_39->n70_a_factbook_2_2010_42
n70_a_factbook_2_2010_40->n70_a_factbook_2_2010_41
n70_a_factbook_2_2010_43
TO
n70_a_factbook_2_2010_42->n70_a_factbook_2_2010_43
n70_a_factbook_2_2010_45
VB;__
n70_a_factbook_2_2010_42->n70_a_factbook_2_2010_45
n70_a_factbook_2_2010_47
NP-OB1
n70_a_factbook_2_2010_42->n70_a_factbook_2_2010_47
n70_a_factbook_2_2010_50
PP-NIM
n70_a_factbook_2_2010_42->n70_a_factbook_2_2010_50
n70_a_factbook_2_2010_43->n70_a_factbook_2_2010_44
n70_a_factbook_2_2010_45->n70_a_factbook_2_2010_46
n70_a_factbook_2_2010_48
NS
n70_a_factbook_2_2010_47->n70_a_factbook_2_2010_48
n70_a_factbook_2_2010_48->n70_a_factbook_2_2010_49
n70_a_factbook_2_2010_51
P-ROLE
n70_a_factbook_2_2010_50->n70_a_factbook_2_2010_51
n70_a_factbook_2_2010_53
NP
n70_a_factbook_2_2010_50->n70_a_factbook_2_2010_53
n70_a_factbook_2_2010_51->n70_a_factbook_2_2010_52
n70_a_factbook_2_2010_54
ADJP
n70_a_factbook_2_2010_53->n70_a_factbook_2_2010_54
n70_a_factbook_2_2010_57
NS
n70_a_factbook_2_2010_53->n70_a_factbook_2_2010_57
n70_a_factbook_2_2010_55
ADJ
n70_a_factbook_2_2010_54->n70_a_factbook_2_2010_55
n70_a_factbook_2_2010_55->n70_a_factbook_2_2010_56
n70_a_factbook_2_2010_57->n70_a_factbook_2_2010_58
n70_a_factbook_2_2010_60
CONJ
n70_a_factbook_2_2010_59->n70_a_factbook_2_2010_60
n70_a_factbook_2_2010_62
ILYR
n70_a_factbook_2_2010_59->n70_a_factbook_2_2010_62
n70_a_factbook_2_2010_60->n70_a_factbook_2_2010_61
n70_a_factbook_2_2010_63
BE;_cat_VePASS_
n70_a_factbook_2_2010_62->n70_a_factbook_2_2010_63
n70_a_factbook_2_2010_65
IP-PPL-CAT
n70_a_factbook_2_2010_62->n70_a_factbook_2_2010_65
n70_a_factbook_2_2010_63->n70_a_factbook_2_2010_64
n70_a_factbook_2_2010_66
VVN;__
n70_a_factbook_2_2010_65->n70_a_factbook_2_2010_66
n70_a_factbook_2_2010_68
PP-LGS
n70_a_factbook_2_2010_65->n70_a_factbook_2_2010_68
n70_a_factbook_2_2010_66->n70_a_factbook_2_2010_67
n70_a_factbook_2_2010_69
P-ROLE;_lgs_
n70_a_factbook_2_2010_68->n70_a_factbook_2_2010_69
n70_a_factbook_2_2010_71
NP
n70_a_factbook_2_2010_68->n70_a_factbook_2_2010_71
n70_a_factbook_2_2010_69->n70_a_factbook_2_2010_70
n70_a_factbook_2_2010_72
NP-GEN
n70_a_factbook_2_2010_71->n70_a_factbook_2_2010_72
n70_a_factbook_2_2010_75
NS
n70_a_factbook_2_2010_71->n70_a_factbook_2_2010_75
n70_a_factbook_2_2010_73
PRO;_genm_
n70_a_factbook_2_2010_72->n70_a_factbook_2_2010_73
n70_a_factbook_2_2010_73->n70_a_factbook_2_2010_74
n70_a_factbook_2_2010_75->n70_a_factbook_2_2010_76
n70_a_factbook_2_2010_77->n70_a_factbook_2_2010_78
( (IP-MAT (ILYR (ILYR (NP-SBJ (Q No;{no})
(N country;{country}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (ADVP-NIM (ADV fully;{fully}))
(VVN;__ governed;{govern})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (N halakha;{halakha})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (ADJP (ADJ Jewish;{jewish}))
(NS people;{people}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (ILYR (ILYR (VB;__ decide;{decide})
(IP-INF-OB1 (TO to;{to})
(VB;__ settle;{settle})
(NP-OB1 (NS disputes;{dispute}))
(PP-NIM (P-ROLE through;{through})
(NP;{JEWISH_COURTS} (ADJP (ADJ Jewish;{jewish}))
(NS courts;{court})))))
(CONJP (CONJ and;{and})
(ILYR (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (VVN;__ bound;{bind})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (NP-GEN;{JEWISH_COURTS} (PRO;_genm_ their;{their}))
(NS rulings;{ruling})))))))))))
(PUNC .))
(ID 70_a_factbook_2_2010))