53_a_factbook_2_2010
Sharia covers all aspects of public and private life and organizes them into five categories: obligatory, recommended, permitted, disliked, and forbidden.

%3 r_0053_0002__covers covers r_0053_0001__Sharia Sharia r_0053_0002__covers->r_0053_0001__Sharia [arg0] r_0053_0004__aspects aspects r_0053_0002__covers->r_0053_0004__aspects [arg1] r_0053_0009__life life r_0053_0004__aspects->r_0053_0009__life of r_0053_0003__all_quant all [quant] r_0053_0003__all_quant->r_0053_0002__covers [scope] r_0053_0003__all_quant->r_0053_0004__aspects [restriction] r_0053_0007__and and r_0053_0009__life->r_0053_0007__and [attrib] r_0053_0006__public public r_0053_0007__and->r_0053_0006__public [conj1] r_0053_0008__private private r_0053_0007__and->r_0053_0008__private [conj2] r_0053_0010__and and r_0053_0010__and->r_0053_0003__all_quant [conj1] r_0053_0011__organizes organizes r_0053_0010__and->r_0053_0011__organizes [conj2] r_0053_0011__organizes->r_0053_0001__Sharia [arg0] r_0053_0012__them them r_0053_0011__organizes->r_0053_0012__them [arg1] r_0053_0014__five_r_0053_0015__categories five categories r_0053_0011__organizes->r_0053_0014__five_r_0053_0015__categories [prd] r_0053_0025__and and z_000_53_a_factbook_2_2010_53 r_0053_0025__and->z_000_53_a_factbook_2_2010_53 [conj1] z_000_53_a_factbook_2_2010_60 r_0053_0025__and->z_000_53_a_factbook_2_2010_60 [conj2] z_000_53_a_factbook_2_2010_67 r_0053_0025__and->z_000_53_a_factbook_2_2010_67 [conj3] z_000_53_a_factbook_2_2010_74 r_0053_0025__and->z_000_53_a_factbook_2_2010_74 [conj4] z_000_53_a_factbook_2_2010_83 r_0053_0025__and->z_000_53_a_factbook_2_2010_83 [conj5] r_0053_0017__obligatory obligatory z_000_53_a_factbook_2_2010_53->r_0053_0017__obligatory [attrib] r_0053_0019__recommended recommended z_000_53_a_factbook_2_2010_60->r_0053_0019__recommended [attrib] r_0053_0021__permitted permitted z_000_53_a_factbook_2_2010_67->r_0053_0021__permitted [attrib] r_0053_0023__disliked disliked z_000_53_a_factbook_2_2010_74->r_0053_0023__disliked [attrib] r_0053_0026__forbidden forbidden z_000_53_a_factbook_2_2010_83->r_0053_0026__forbidden [attrib] z_000_53_a_factbook_2_2010_50 z_000_53_a_factbook_2_2010_50->r_0053_0014__five_r_0053_0015__categories [arg0] z_000_53_a_factbook_2_2010_50->r_0053_0025__and [prd]
arc(r_0053_0002__covers, r_0053_0001__Sharia, arg0).
arc(r_0053_0002__covers, r_0053_0004__aspects, arg1).
arc(r_0053_0003__all_quant, r_0053_0002__covers, scope).
arc(r_0053_0003__all_quant, r_0053_0004__aspects, restriction).
arc(r_0053_0004__aspects, r_0053_0009__life, r_0053_0005__of).
arc(r_0053_0007__and, r_0053_0006__public, conj1).
arc(r_0053_0007__and, r_0053_0008__private, conj2).
arc(r_0053_0009__life, r_0053_0007__and, attrib18).
arc(r_0053_0010__and, r_0053_0003__all_quant, conj1).
arc(r_0053_0010__and, r_0053_0011__organizes, conj2).
arc(r_0053_0011__organizes, r_0053_0001__Sharia, arg0).
arc(r_0053_0011__organizes, r_0053_0012__them, arg1).
arc(r_0053_0011__organizes, r_0053_0014__five_r_0053_0015__categories, prd).
arc(r_0053_0025__and, z_000_53_a_factbook_2_2010_53, conj1).
arc(r_0053_0025__and, z_000_53_a_factbook_2_2010_60, conj2).
arc(r_0053_0025__and, z_000_53_a_factbook_2_2010_67, conj3).
arc(r_0053_0025__and, z_000_53_a_factbook_2_2010_74, conj4).
arc(r_0053_0025__and, z_000_53_a_factbook_2_2010_83, conj5).
arc(z_000_53_a_factbook_2_2010_50, r_0053_0014__five_r_0053_0015__categories, arg0).
arc(z_000_53_a_factbook_2_2010_50, r_0053_0025__and, prd).
arc(z_000_53_a_factbook_2_2010_53, r_0053_0017__obligatory, attrib54).
arc(z_000_53_a_factbook_2_2010_60, r_0053_0019__recommended, attrib61).
arc(z_000_53_a_factbook_2_2010_67, r_0053_0021__permitted, attrib68).
arc(z_000_53_a_factbook_2_2010_74, r_0053_0023__disliked, attrib75).
arc(z_000_53_a_factbook_2_2010_83, r_0053_0026__forbidden, attrib84).



%3 z_000_53_a_factbook_2_2010_83 r_0053_0026__forbidden forbidden z_000_53_a_factbook_2_2010_83->r_0053_0026__forbidden [attrib] z_000_53_a_factbook_2_2010_74 r_0053_0023__disliked disliked z_000_53_a_factbook_2_2010_74->r_0053_0023__disliked [attrib] z_000_53_a_factbook_2_2010_67 r_0053_0021__permitted permitted z_000_53_a_factbook_2_2010_67->r_0053_0021__permitted [attrib] z_000_53_a_factbook_2_2010_60 r_0053_0019__recommended recommended z_000_53_a_factbook_2_2010_60->r_0053_0019__recommended [attrib] z_000_53_a_factbook_2_2010_53 r_0053_0017__obligatory obligatory z_000_53_a_factbook_2_2010_53->r_0053_0017__obligatory [attrib] z_000_53_a_factbook_2_2010_50 r_0053_0025__and and z_000_53_a_factbook_2_2010_50->r_0053_0025__and [prd] r_0053_0014__five_r_0053_0015__categories five categories z_000_53_a_factbook_2_2010_50->r_0053_0014__five_r_0053_0015__categories [arg0] r_0053_0025__and->z_000_53_a_factbook_2_2010_83 [conj5] r_0053_0025__and->z_000_53_a_factbook_2_2010_74 [conj4] r_0053_0025__and->z_000_53_a_factbook_2_2010_67 [conj3] r_0053_0025__and->z_000_53_a_factbook_2_2010_60 [conj2] r_0053_0025__and->z_000_53_a_factbook_2_2010_53 [conj1] r_0053_0011__organizes organizes r_0053_0011__organizes->r_0053_0014__five_r_0053_0015__categories [prd] r_0053_0012__them them r_0053_0011__organizes->r_0053_0012__them [arg1] r_0053_0001__Sharia Sharia r_0053_0011__organizes->r_0053_0001__Sharia [arg0] r_0053_0010__and and r_0053_0010__and->r_0053_0011__organizes [conj2] r_0053_0003__all_quant all [quant] r_0053_0010__and->r_0053_0003__all_quant [conj1] r_0053_0004__aspects aspects r_0053_0003__all_quant->r_0053_0004__aspects [restriction] r_0053_0002__covers covers r_0053_0003__all_quant->r_0053_0002__covers [scope] r_0053_0009__life life r_0053_0007__and and r_0053_0009__life->r_0053_0007__and [attrib] r_0053_0008__private private r_0053_0007__and->r_0053_0008__private [conj2] r_0053_0006__public public r_0053_0007__and->r_0053_0006__public [conj1] r_0053_0004__aspects->r_0053_0009__life of r_0053_0002__covers->r_0053_0001__Sharia [arg0] r_0053_0002__covers->r_0053_0004__aspects [arg1]
fof(formula,axiom,
    ? [R_53_10_AND,R_53_11_ORGANIZES,R_53_1_SHARIA,R_53_12_THEM,Z_53_A_FACTBOOK_2_2010_50,R_53_14_FIVE_CATEGORIES,R_53_25_AND,Z_53_A_FACTBOOK_2_2010_53,R_53_17_OBLIGATORY,Z_53_A_FACTBOOK_2_2010_60,R_53_19_RECOMMENDED,Z_53_A_FACTBOOK_2_2010_67,R_53_21_PERMITTED,Z_53_A_FACTBOOK_2_2010_74,R_53_23_DISLIKED,Z_53_A_FACTBOOK_2_2010_83,R_53_26_FORBIDDEN] :
      ( sharia(R_53_1_SHARIA)
      & them(R_53_12_THEM)
      & five_categories(R_53_14_FIVE_CATEGORIES)
      & obligatory(R_53_17_OBLIGATORY)
      & recommended(R_53_19_RECOMMENDED)
      & permitted(R_53_21_PERMITTED)
      & disliked(R_53_23_DISLIKED)
      & forbidden(R_53_26_FORBIDDEN)
      & ! [R_53_4_ASPECTS,R_53_9_LIFE,R_53_7_AND,R_53_6_PUBLIC,R_53_8_PRIVATE] :
          ( ( public(R_53_6_PUBLIC)
            & private(R_53_8_PRIVATE)
            & aspects(R_53_4_ASPECTS)
            & of(R_53_4_ASPECTS,R_53_9_LIFE)
            & life(R_53_9_LIFE)
            & attrib18(R_53_9_LIFE,R_53_7_AND)
            & and(R_53_7_AND)
            & conj1(R_53_7_AND,R_53_6_PUBLIC)
            & conj2(R_53_7_AND,R_53_8_PRIVATE) )
         => ? [R_53_2_COVERS] : covers(R_53_2_COVERS,R_53_1_SHARIA,R_53_4_ASPECTS) )
      & conj1(CONJ1)
      & and(R_53_10_AND)
      & conj2(R_53_10_AND,R_53_11_ORGANIZES)
      & organizes(R_53_11_ORGANIZES,R_53_1_SHARIA,R_53_12_THEM,R_53_14_FIVE_CATEGORIES)
      & z_53_a_factbook_2_2010_50(Z_53_A_FACTBOOK_2_2010_50,R_53_14_FIVE_CATEGORIES,R_53_25_AND)
      & and(R_53_25_AND)
      & conj1(R_53_25_AND,Z_53_A_FACTBOOK_2_2010_53)
      & z_53_a_factbook_2_2010_53(Z_53_A_FACTBOOK_2_2010_53)
      & attrib54(Z_53_A_FACTBOOK_2_2010_53,R_53_17_OBLIGATORY)
      & conj2(R_53_25_AND,Z_53_A_FACTBOOK_2_2010_60)
      & z_53_a_factbook_2_2010_60(Z_53_A_FACTBOOK_2_2010_60)
      & attrib61(Z_53_A_FACTBOOK_2_2010_60,R_53_19_RECOMMENDED)
      & conj3(R_53_25_AND,Z_53_A_FACTBOOK_2_2010_67)
      & z_53_a_factbook_2_2010_67(Z_53_A_FACTBOOK_2_2010_67)
      & attrib68(Z_53_A_FACTBOOK_2_2010_67,R_53_21_PERMITTED)
      & conj4(R_53_25_AND,Z_53_A_FACTBOOK_2_2010_74)
      & z_53_a_factbook_2_2010_74(Z_53_A_FACTBOOK_2_2010_74)
      & attrib75(Z_53_A_FACTBOOK_2_2010_74,R_53_23_DISLIKED)
      & conj5(R_53_25_AND,Z_53_A_FACTBOOK_2_2010_83)
      & z_53_a_factbook_2_2010_83(Z_53_A_FACTBOOK_2_2010_83)
      & attrib84(Z_53_A_FACTBOOK_2_2010_83,R_53_26_FORBIDDEN) ) ).



n53_a_factbook_2_2010 n53_a_factbook_2_2010__1_1_1_1 Sharia n53_a_factbook_2_2010__1_2_1_1_1 covers n53_a_factbook_2_2010__1_2_1_2_1_1 all n53_a_factbook_2_2010__1_2_1_2_2_1 aspects n53_a_factbook_2_2010__1_2_1_2_3_1_1 of n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1_1_1 public n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_1_1 and n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2_1_1 private n53_a_factbook_2_2010__1_2_1_2_3_2_2_1 life n53_a_factbook_2_2010__1_2_2_1_1 and n53_a_factbook_2_2010__1_2_2_2_1_1 organizes n53_a_factbook_2_2010__1_2_2_2_2_1_1 them n53_a_factbook_2_2010__1_2_2_2_3_1_1 into n53_a_factbook_2_2010__1_2_2_2_3_2_1_1 five n53_a_factbook_2_2010__1_2_2_2_3_2_2_1 categories n53_a_factbook_2_2010__1_2_2_2_3_2_3_1 : n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1_1_1 obligatory n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_2_1 , n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1_1_1 recommended n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_4_1 , n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1_1_1 permitted n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_6_1 , n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1_1_1 disliked n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_8_1 , n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_1_1 and n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1_1_1 forbidden n53_a_factbook_2_2010__1_3_1 . n53_a_factbook_2_2010__1 IP-MAT n53_a_factbook_2_2010__1_1 NP-SBJ n53_a_factbook_2_2010__1->n53_a_factbook_2_2010__1_1 n53_a_factbook_2_2010__1_2 ILYR n53_a_factbook_2_2010__1->n53_a_factbook_2_2010__1_2 n53_a_factbook_2_2010__1_3 PUNC n53_a_factbook_2_2010__1->n53_a_factbook_2_2010__1_3 n53_a_factbook_2_2010__1_1_1 NPR n53_a_factbook_2_2010__1_1->n53_a_factbook_2_2010__1_1_1 n53_a_factbook_2_2010__1_1_1->n53_a_factbook_2_2010__1_1_1_1 n53_a_factbook_2_2010__1_2_1 ILYR n53_a_factbook_2_2010__1_2->n53_a_factbook_2_2010__1_2_1 n53_a_factbook_2_2010__1_2_2 CONJP n53_a_factbook_2_2010__1_2->n53_a_factbook_2_2010__1_2_2 n53_a_factbook_2_2010__1_2_1_1 VBP;__ n53_a_factbook_2_2010__1_2_1->n53_a_factbook_2_2010__1_2_1_1 n53_a_factbook_2_2010__1_2_1_2 NP-OB1 n53_a_factbook_2_2010__1_2_1->n53_a_factbook_2_2010__1_2_1_2 n53_a_factbook_2_2010__1_2_1_1->n53_a_factbook_2_2010__1_2_1_1_1 n53_a_factbook_2_2010__1_2_1_2_1 Q n53_a_factbook_2_2010__1_2_1_2->n53_a_factbook_2_2010__1_2_1_2_1 n53_a_factbook_2_2010__1_2_1_2_2 NS n53_a_factbook_2_2010__1_2_1_2->n53_a_factbook_2_2010__1_2_1_2_2 n53_a_factbook_2_2010__1_2_1_2_3 PP n53_a_factbook_2_2010__1_2_1_2->n53_a_factbook_2_2010__1_2_1_2_3 n53_a_factbook_2_2010__1_2_1_2_1->n53_a_factbook_2_2010__1_2_1_2_1_1 n53_a_factbook_2_2010__1_2_1_2_2->n53_a_factbook_2_2010__1_2_1_2_2_1 n53_a_factbook_2_2010__1_2_1_2_3_1 P-ROLE n53_a_factbook_2_2010__1_2_1_2_3->n53_a_factbook_2_2010__1_2_1_2_3_1 n53_a_factbook_2_2010__1_2_1_2_3_2 NP n53_a_factbook_2_2010__1_2_1_2_3->n53_a_factbook_2_2010__1_2_1_2_3_2 n53_a_factbook_2_2010__1_2_1_2_3_1->n53_a_factbook_2_2010__1_2_1_2_3_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1 ADJP n53_a_factbook_2_2010__1_2_1_2_3_2->n53_a_factbook_2_2010__1_2_1_2_3_2_1 n53_a_factbook_2_2010__1_2_1_2_3_2_2 N n53_a_factbook_2_2010__1_2_1_2_3_2->n53_a_factbook_2_2010__1_2_1_2_3_2_2 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1 AJLYR n53_a_factbook_2_2010__1_2_1_2_3_2_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1 AJLYR n53_a_factbook_2_2010__1_2_1_2_3_2_1_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2 CONJP n53_a_factbook_2_2010__1_2_1_2_3_2_1_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1_1 ADJ n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_1_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_1 CONJ n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2 AJLYR n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2_1 ADJ n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2_1 n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2_1->n53_a_factbook_2_2010__1_2_1_2_3_2_1_1_2_2_1_1 n53_a_factbook_2_2010__1_2_1_2_3_2_2->n53_a_factbook_2_2010__1_2_1_2_3_2_2_1 n53_a_factbook_2_2010__1_2_2_1 CONJ n53_a_factbook_2_2010__1_2_2->n53_a_factbook_2_2010__1_2_2_1 n53_a_factbook_2_2010__1_2_2_2 ILYR n53_a_factbook_2_2010__1_2_2->n53_a_factbook_2_2010__1_2_2_2 n53_a_factbook_2_2010__1_2_2_1->n53_a_factbook_2_2010__1_2_2_1_1 n53_a_factbook_2_2010__1_2_2_2_1 VBP;__ n53_a_factbook_2_2010__1_2_2_2->n53_a_factbook_2_2010__1_2_2_2_1 n53_a_factbook_2_2010__1_2_2_2_2 NP-OB1 n53_a_factbook_2_2010__1_2_2_2->n53_a_factbook_2_2010__1_2_2_2_2 n53_a_factbook_2_2010__1_2_2_2_3 PP-PRD n53_a_factbook_2_2010__1_2_2_2->n53_a_factbook_2_2010__1_2_2_2_3 n53_a_factbook_2_2010__1_2_2_2_1->n53_a_factbook_2_2010__1_2_2_2_1_1 n53_a_factbook_2_2010__1_2_2_2_2_1 PRO n53_a_factbook_2_2010__1_2_2_2_2->n53_a_factbook_2_2010__1_2_2_2_2_1 n53_a_factbook_2_2010__1_2_2_2_2_1->n53_a_factbook_2_2010__1_2_2_2_2_1_1 n53_a_factbook_2_2010__1_2_2_2_3_1 P-ROLE n53_a_factbook_2_2010__1_2_2_2_3->n53_a_factbook_2_2010__1_2_2_2_3_1 n53_a_factbook_2_2010__1_2_2_2_3_2 NP n53_a_factbook_2_2010__1_2_2_2_3->n53_a_factbook_2_2010__1_2_2_2_3_2 n53_a_factbook_2_2010__1_2_2_2_3_1->n53_a_factbook_2_2010__1_2_2_2_3_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_1 NUM n53_a_factbook_2_2010__1_2_2_2_3_2->n53_a_factbook_2_2010__1_2_2_2_3_2_1 n53_a_factbook_2_2010__1_2_2_2_3_2_2 NS n53_a_factbook_2_2010__1_2_2_2_3_2->n53_a_factbook_2_2010__1_2_2_2_3_2_2 n53_a_factbook_2_2010__1_2_2_2_3_2_3 PUNC n53_a_factbook_2_2010__1_2_2_2_3_2->n53_a_factbook_2_2010__1_2_2_2_3_2_3 n53_a_factbook_2_2010__1_2_2_2_3_2_4 IP-PPL n53_a_factbook_2_2010__1_2_2_2_3_2->n53_a_factbook_2_2010__1_2_2_2_3_2_4 n53_a_factbook_2_2010__1_2_2_2_3_2_1->n53_a_factbook_2_2010__1_2_2_2_3_2_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_2->n53_a_factbook_2_2010__1_2_2_2_3_2_2_1 n53_a_factbook_2_2010__1_2_2_2_3_2_3->n53_a_factbook_2_2010__1_2_2_2_3_2_3_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1 NP-PRD n53_a_factbook_2_2010__1_2_2_2_3_2_4->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_2 PUNC n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_2 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3 CONJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_4 PUNC n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_4 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5 CONJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_6 PUNC n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_6 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7 CONJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_8 PUNC n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_8 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9 CONJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1 ADJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1_1 ADJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_2->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_2_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1 ADJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1_1 ADJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_3_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_4->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_4_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1 ADJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1_1 ADJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_5_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_6->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_6_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1 ADJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1_1 ADJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_7_1_1_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_8->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_8_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_1 CONJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2 NLYR n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1 ADJP n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1_1 ADJ n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1_1 n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1_1->n53_a_factbook_2_2010__1_2_2_2_3_2_4_1_1_9_2_1_1_1 n53_a_factbook_2_2010__1_3->n53_a_factbook_2_2010__1_3_1
( (IP-MAT (NP-SBJ (NPR Sharia;{Sharia}))
          (ILYR (ILYR (VBP;__ covers;{cover})
                      (NP-OB1;{LIFE_ASPECTS} (Q all;{all})
                                             (NS aspects;{aspect})
                                             (PP (P-ROLE of;{of})
                                                 (NP (ADJP (AJLYR (AJLYR (ADJ public;{public}))
                                                                  (CONJP (CONJ and;{and})
                                                                         (AJLYR (ADJ private;{private})))))
                                                     (N life;{life})))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;__ organizes;{organize})
                             (NP-OB1;{LIFE_ASPECTS} (PRO them;{they}))
                             (PP-PRD (P-ROLE into;{into})
                                     (NP (NUM five;{five})
                                         (NS categories;{category})
                                         (PUNC :)
                                         (IP-PPL (NP-PRD (NLYR (NLYR (ADJP (ADJ obligatory;{obligatory})))
                                                               (PUNC ,)
                                                               (CONJP (NLYR (ADJP (ADJ recommended;{recommended}))))
                                                               (PUNC ,)
                                                               (CONJP (NLYR (ADJP (ADJ permitted;{permitted}))))
                                                               (PUNC ,)
                                                               (CONJP (NLYR (ADJP (ADJ disliked;{disliked}))))
                                                               (PUNC ,)
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (ADJP (ADJ forbidden;{forbidden}))))))))))))
          (PUNC .))
  (ID 53_a_factbook_2_2010))