Context                Previous, Next                Top


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_0053_0001__SHARIA,R_0053_0012__THEM,R_0053_0014__FIVE_R_0053_0015__CATEGORIES,R_0053_0011__ORGANIZES,R_0053_0010__AND,R_0053_0017__OBLIGATORY,Z_000_53_A_FACTBOOK_2_2010_53,R_0053_0019__RECOMMENDED,Z_000_53_A_FACTBOOK_2_2010_60,R_0053_0021__PERMITTED,Z_000_53_A_FACTBOOK_2_2010_67,R_0053_0023__DISLIKED,Z_000_53_A_FACTBOOK_2_2010_74,R_0053_0026__FORBIDDEN,Z_000_53_A_FACTBOOK_2_2010_83,R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_50] :
      ( r_0053_0001__Sharia(R_0053_0001__SHARIA)
      & r_0053_0012__them(R_0053_0012__THEM)
      & r_0053_0014__five_r_0053_0015__categories(R_0053_0014__FIVE_R_0053_0015__CATEGORIES)
      & r_0053_0017__obligatory(R_0053_0017__OBLIGATORY)
      & r_0053_0019__recommended(R_0053_0019__RECOMMENDED)
      & r_0053_0021__permitted(R_0053_0021__PERMITTED)
      & r_0053_0023__disliked(R_0053_0023__DISLIKED)
      & r_0053_0026__forbidden(R_0053_0026__FORBIDDEN)
      & z_000_53_a_factbook_2_2010_50(Z_000_53_A_FACTBOOK_2_2010_50)
      & has_prd(Z_000_53_A_FACTBOOK_2_2010_50,R_0053_0025__AND)
      & r_0053_0025__and(R_0053_0025__AND)
      & has_conj5(R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_83)
      & z_000_53_a_factbook_2_2010_83(Z_000_53_A_FACTBOOK_2_2010_83)
      & has_attrib84(Z_000_53_A_FACTBOOK_2_2010_83,R_0053_0026__FORBIDDEN)
      & has_conj4(R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_74)
      & z_000_53_a_factbook_2_2010_74(Z_000_53_A_FACTBOOK_2_2010_74)
      & has_attrib75(Z_000_53_A_FACTBOOK_2_2010_74,R_0053_0023__DISLIKED)
      & has_conj3(R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_67)
      & z_000_53_a_factbook_2_2010_67(Z_000_53_A_FACTBOOK_2_2010_67)
      & has_attrib68(Z_000_53_A_FACTBOOK_2_2010_67,R_0053_0021__PERMITTED)
      & has_conj2(R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_60)
      & z_000_53_a_factbook_2_2010_60(Z_000_53_A_FACTBOOK_2_2010_60)
      & has_attrib61(Z_000_53_A_FACTBOOK_2_2010_60,R_0053_0019__RECOMMENDED)
      & has_conj1(R_0053_0025__AND,Z_000_53_A_FACTBOOK_2_2010_53)
      & z_000_53_a_factbook_2_2010_53(Z_000_53_A_FACTBOOK_2_2010_53)
      & has_attrib54(Z_000_53_A_FACTBOOK_2_2010_53,R_0053_0017__OBLIGATORY)
      & has_arg0(Z_000_53_A_FACTBOOK_2_2010_50,R_0053_0014__FIVE_R_0053_0015__CATEGORIES)
      & r_0053_0010__and(R_0053_0010__AND)
      & has_conj2(R_0053_0010__AND,R_0053_0011__ORGANIZES)
      & r_0053_0011__organizes(R_0053_0011__ORGANIZES)
      & has_prd(R_0053_0011__ORGANIZES,R_0053_0014__FIVE_R_0053_0015__CATEGORIES)
      & has_arg1(R_0053_0011__ORGANIZES,R_0053_0012__THEM)
      & has_arg0(R_0053_0011__ORGANIZES,R_0053_0001__SHARIA)
      & ! [R_0053_0004__ASPECTS,R_0053_0006__PUBLIC,R_0053_0008__PRIVATE,R_0053_0007__AND,R_0053_0009__LIFE] :
          ( ( r_0053_0006__public(R_0053_0006__PUBLIC)
            & r_0053_0008__private(R_0053_0008__PRIVATE)
            & r_0053_0004__aspects(R_0053_0004__ASPECTS)
            & has_r_0053_0005__of(R_0053_0004__ASPECTS,R_0053_0009__LIFE)
            & r_0053_0009__life(R_0053_0009__LIFE)
            & has_attrib18(R_0053_0009__LIFE,R_0053_0007__AND)
            & r_0053_0007__and(R_0053_0007__AND)
            & has_conj2(R_0053_0007__AND,R_0053_0008__PRIVATE)
            & has_conj1(R_0053_0007__AND,R_0053_0006__PUBLIC) )
         => ? [R_0053_0002__COVERS] :
              ( r_0053_0002__covers(R_0053_0002__COVERS)
              & has_arg1(R_0053_0002__COVERS,R_0053_0004__ASPECTS)
              & has_arg0(R_0053_0002__COVERS,R_0053_0001__SHARIA) ) ) ) ).


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))