70_a_factbook_2_2010
No country is fully governed by halakha, but Jewish people may decide to settle disputes through Jewish courts and be bound by their rulings.

%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_0012__may may r_0070_0020__and and r_0070_0012__may->r_0070_0020__and [keep_scope] 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 decide r_0070_0020__and->r_0070_0013__decide [conj1] r_0070_0025__rulings rulings r_0070_0019__courts courts r_0070_0025__rulings->r_0070_0019__courts [gen] r_0070_0018__Jewish Jewish r_0070_0019__courts->r_0070_0018__Jewish [attrib] r_0070_0021__be_r_0070_0022__bound->r_0070_0025__rulings [arg0] r_0070_0011__people people r_0070_0021__be_r_0070_0022__bound->r_0070_0011__people [arg1] r_0070_0010__Jewish Jewish r_0070_0011__people->r_0070_0010__Jewish [attrib] 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_0019__courts through [nim] 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_0009__but but r_0070_0009__but->r_0070_0012__may [conj2] r_0070_0001__No_quant No [quant] r_0070_0009__but->r_0070_0001__No_quant [conj1] 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_0002__country country r_0070_0001__No_quant->r_0070_0002__country [restriction] r_0070_0007__halakha halakha r_0070_0003__is_r_0070_0005__governed->r_0070_0007__halakha [arg0] r_0070_0004__fully fully r_0070_0003__is_r_0070_0005__governed->r_0070_0004__fully [nim] r_0070_0003__is_r_0070_0005__governed->r_0070_0002__country [arg1]
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__1_1_1_1_1_1 No n70_a_factbook_2_2010__1_1_1_1_2_1 country n70_a_factbook_2_2010__1_1_1_2_1 is n70_a_factbook_2_2010__1_1_1_3_1_1_1 fully n70_a_factbook_2_2010__1_1_1_3_2_1 governed n70_a_factbook_2_2010__1_1_1_3_3_1_1 by n70_a_factbook_2_2010__1_1_1_3_3_2_1_1 halakha n70_a_factbook_2_2010__1_1_2_1 , n70_a_factbook_2_2010__1_1_3_1_1 but n70_a_factbook_2_2010__1_1_3_2_1_1_1_1 Jewish n70_a_factbook_2_2010__1_1_3_2_1_2_1 people n70_a_factbook_2_2010__1_1_3_2_2_1 may n70_a_factbook_2_2010__1_1_3_2_3_1_1_1_1 decide n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_1_1 to n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_2_1 settle n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3_1_1 disputes n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_1_1 through n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1_1_1 Jewish n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_2_1 courts n70_a_factbook_2_2010__1_1_3_2_3_1_2_1_1 and n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_1_1 be n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_1_1 bound n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_1_1 by n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1_1_1 their n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_2_1 rulings n70_a_factbook_2_2010__1_2_1 . n70_a_factbook_2_2010__1 IP-MAT n70_a_factbook_2_2010__1_1 ILYR n70_a_factbook_2_2010__1->n70_a_factbook_2_2010__1_1 n70_a_factbook_2_2010__1_2 PUNC n70_a_factbook_2_2010__1->n70_a_factbook_2_2010__1_2 n70_a_factbook_2_2010__1_1_1 ILYR n70_a_factbook_2_2010__1_1->n70_a_factbook_2_2010__1_1_1 n70_a_factbook_2_2010__1_1_2 PUNC n70_a_factbook_2_2010__1_1->n70_a_factbook_2_2010__1_1_2 n70_a_factbook_2_2010__1_1_3 CONJP n70_a_factbook_2_2010__1_1->n70_a_factbook_2_2010__1_1_3 n70_a_factbook_2_2010__1_1_1_1 NP-SBJ n70_a_factbook_2_2010__1_1_1->n70_a_factbook_2_2010__1_1_1_1 n70_a_factbook_2_2010__1_1_1_2 BEP;_cat_VePASS_ n70_a_factbook_2_2010__1_1_1->n70_a_factbook_2_2010__1_1_1_2 n70_a_factbook_2_2010__1_1_1_3 IP-PPL-CAT n70_a_factbook_2_2010__1_1_1->n70_a_factbook_2_2010__1_1_1_3 n70_a_factbook_2_2010__1_1_1_1_1 Q n70_a_factbook_2_2010__1_1_1_1->n70_a_factbook_2_2010__1_1_1_1_1 n70_a_factbook_2_2010__1_1_1_1_2 N n70_a_factbook_2_2010__1_1_1_1->n70_a_factbook_2_2010__1_1_1_1_2 n70_a_factbook_2_2010__1_1_1_1_1->n70_a_factbook_2_2010__1_1_1_1_1_1 n70_a_factbook_2_2010__1_1_1_1_2->n70_a_factbook_2_2010__1_1_1_1_2_1 n70_a_factbook_2_2010__1_1_1_2->n70_a_factbook_2_2010__1_1_1_2_1 n70_a_factbook_2_2010__1_1_1_3_1 ADVP-NIM n70_a_factbook_2_2010__1_1_1_3->n70_a_factbook_2_2010__1_1_1_3_1 n70_a_factbook_2_2010__1_1_1_3_2 VVN;__ n70_a_factbook_2_2010__1_1_1_3->n70_a_factbook_2_2010__1_1_1_3_2 n70_a_factbook_2_2010__1_1_1_3_3 PP-LGS n70_a_factbook_2_2010__1_1_1_3->n70_a_factbook_2_2010__1_1_1_3_3 n70_a_factbook_2_2010__1_1_1_3_1_1 ADV n70_a_factbook_2_2010__1_1_1_3_1->n70_a_factbook_2_2010__1_1_1_3_1_1 n70_a_factbook_2_2010__1_1_1_3_1_1->n70_a_factbook_2_2010__1_1_1_3_1_1_1 n70_a_factbook_2_2010__1_1_1_3_2->n70_a_factbook_2_2010__1_1_1_3_2_1 n70_a_factbook_2_2010__1_1_1_3_3_1 P-ROLE;_lgs_ n70_a_factbook_2_2010__1_1_1_3_3->n70_a_factbook_2_2010__1_1_1_3_3_1 n70_a_factbook_2_2010__1_1_1_3_3_2 NP n70_a_factbook_2_2010__1_1_1_3_3->n70_a_factbook_2_2010__1_1_1_3_3_2 n70_a_factbook_2_2010__1_1_1_3_3_1->n70_a_factbook_2_2010__1_1_1_3_3_1_1 n70_a_factbook_2_2010__1_1_1_3_3_2_1 N n70_a_factbook_2_2010__1_1_1_3_3_2->n70_a_factbook_2_2010__1_1_1_3_3_2_1 n70_a_factbook_2_2010__1_1_1_3_3_2_1->n70_a_factbook_2_2010__1_1_1_3_3_2_1_1 n70_a_factbook_2_2010__1_1_2->n70_a_factbook_2_2010__1_1_2_1 n70_a_factbook_2_2010__1_1_3_1 CONJ n70_a_factbook_2_2010__1_1_3->n70_a_factbook_2_2010__1_1_3_1 n70_a_factbook_2_2010__1_1_3_2 ILYR n70_a_factbook_2_2010__1_1_3->n70_a_factbook_2_2010__1_1_3_2 n70_a_factbook_2_2010__1_1_3_1->n70_a_factbook_2_2010__1_1_3_1_1 n70_a_factbook_2_2010__1_1_3_2_1 NP-SBJ n70_a_factbook_2_2010__1_1_3_2->n70_a_factbook_2_2010__1_1_3_2_1 n70_a_factbook_2_2010__1_1_3_2_2 MD;_cat_Vi_ n70_a_factbook_2_2010__1_1_3_2->n70_a_factbook_2_2010__1_1_3_2_2 n70_a_factbook_2_2010__1_1_3_2_3 IP-INF-CAT n70_a_factbook_2_2010__1_1_3_2->n70_a_factbook_2_2010__1_1_3_2_3 n70_a_factbook_2_2010__1_1_3_2_1_1 ADJP n70_a_factbook_2_2010__1_1_3_2_1->n70_a_factbook_2_2010__1_1_3_2_1_1 n70_a_factbook_2_2010__1_1_3_2_1_2 NS n70_a_factbook_2_2010__1_1_3_2_1->n70_a_factbook_2_2010__1_1_3_2_1_2 n70_a_factbook_2_2010__1_1_3_2_1_1_1 ADJ n70_a_factbook_2_2010__1_1_3_2_1_1->n70_a_factbook_2_2010__1_1_3_2_1_1_1 n70_a_factbook_2_2010__1_1_3_2_1_1_1->n70_a_factbook_2_2010__1_1_3_2_1_1_1_1 n70_a_factbook_2_2010__1_1_3_2_1_2->n70_a_factbook_2_2010__1_1_3_2_1_2_1 n70_a_factbook_2_2010__1_1_3_2_2->n70_a_factbook_2_2010__1_1_3_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1 ILYR n70_a_factbook_2_2010__1_1_3_2_3->n70_a_factbook_2_2010__1_1_3_2_3_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1 ILYR n70_a_factbook_2_2010__1_1_3_2_3_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2 CONJP n70_a_factbook_2_2010__1_1_3_2_3_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2 n70_a_factbook_2_2010__1_1_3_2_3_1_1_1 VB;__ n70_a_factbook_2_2010__1_1_3_2_3_1_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2 IP-INF-OB1 n70_a_factbook_2_2010__1_1_3_2_3_1_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2 n70_a_factbook_2_2010__1_1_3_2_3_1_1_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_1 TO n70_a_factbook_2_2010__1_1_3_2_3_1_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_2 VB;__ n70_a_factbook_2_2010__1_1_3_2_3_1_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3 NP-OB1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4 PP-NIM n70_a_factbook_2_2010__1_1_3_2_3_1_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3_1 NS n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_3_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_1 P-ROLE n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2 NP n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1 ADJP n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_2 NS n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1_1 ADJ n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1_1->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_1_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_1_2_4_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_1 CONJ n70_a_factbook_2_2010__1_1_3_2_3_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2 ILYR n70_a_factbook_2_2010__1_1_3_2_3_1_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_1 BE;_cat_VePASS_ n70_a_factbook_2_2010__1_1_3_2_3_1_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2 IP-PPL-CAT n70_a_factbook_2_2010__1_1_3_2_3_1_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_1 VVN;__ n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2 PP-LGS n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_1 P-ROLE;_lgs_ n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2 NP n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1 NP-GEN n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_2 NS n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_2 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1_1 PRO;_genm_ n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1_1->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_1_1_1 n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_2->n70_a_factbook_2_2010__1_1_3_2_3_1_2_2_2_2_2_2_1 n70_a_factbook_2_2010__1_2->n70_a_factbook_2_2010__1_2_1
( (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))