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

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

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