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.

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 PRN 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 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 :)
                                         (PRN (NP (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))



%3 z_0053_5026 r_0053_0025__and and z_0053_5026->r_0053_0025__and [prd] r_0053_0014__five_r_0053_0015__categories five categories z_0053_5026->r_0053_0014__five_r_0053_0015__categories [arg0] z_0053_5025 r_0053_0025__and->z_0053_5025 [conj5] z_0053_5022 r_0053_0025__and->z_0053_5022 [conj4] z_0053_5019 r_0053_0025__and->z_0053_5019 [conj3] z_0053_5016 r_0053_0025__and->z_0053_5016 [conj2] z_0053_5013 r_0053_0025__and->z_0053_5013 [conj1] r_0053_0026__forbidden forbidden z_0053_5025->r_0053_0026__forbidden [attrib] r_0053_0023__disliked disliked z_0053_5022->r_0053_0023__disliked [attrib] r_0053_0021__permitted permitted z_0053_5019->r_0053_0021__permitted [attrib] r_0053_0019__recommended recommended z_0053_5016->r_0053_0019__recommended [attrib] r_0053_0017__obligatory obligatory z_0053_5013->r_0053_0017__obligatory [attrib] r_0053_0011__organizes organizes r_0053_0011__organizes->r_0053_0014__five_r_0053_0015__categories into [prd] r_0053_0004__aspects aspects r_0053_0011__organizes->r_0053_0004__aspects [arg1] r_0053_0001__Sharia Sharia r_0053_0011__organizes->r_0053_0001__Sharia [arg0] r_0053_0009__life life r_0053_0004__aspects->r_0053_0009__life of 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_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_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_0002__covers->r_0053_0004__aspects [arg1] r_0053_0002__covers->r_0053_0001__Sharia [arg0]
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,attrib).
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_0004__aspects,arg1).
arc(r_0053_0011__organizes,r_0053_0014__five_r_0053_0015__categories,r_0053_0013__into__prd).
arc(r_0053_0025__and,z_0053_5013,conj1).
arc(r_0053_0025__and,z_0053_5016,conj2).
arc(r_0053_0025__and,z_0053_5019,conj3).
arc(r_0053_0025__and,z_0053_5022,conj4).
arc(r_0053_0025__and,z_0053_5025,conj5).
arc(z_0053_5013,r_0053_0017__obligatory,attrib).
arc(z_0053_5016,r_0053_0019__recommended,attrib).
arc(z_0053_5019,r_0053_0021__permitted,attrib).
arc(z_0053_5022,r_0053_0023__disliked,attrib).
arc(z_0053_5025,r_0053_0026__forbidden,attrib).
arc(z_0053_5026,r_0053_0014__five_r_0053_0015__categories,arg0).
arc(z_0053_5026,r_0053_0025__and,prd).



%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_0010__and and r_0053_0003__all__quant->r_0053_0010__and [restriction] 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_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_0011__organizes->r_0053_0001__Sharia [arg0] r_0053_0011__organizes->r_0053_0004__aspects [arg1] r_0053_0014__five_r_0053_0015__categories five categories r_0053_0011__organizes->r_0053_0014__five_r_0053_0015__categories into [prd] r_0053_0025__and and z_0053_5013 r_0053_0025__and->z_0053_5013 [conj1] z_0053_5016 r_0053_0025__and->z_0053_5016 [conj2] z_0053_5019 r_0053_0025__and->z_0053_5019 [conj3] z_0053_5022 r_0053_0025__and->z_0053_5022 [conj4] z_0053_5025 r_0053_0025__and->z_0053_5025 [conj5] r_0053_0017__obligatory obligatory z_0053_5013->r_0053_0017__obligatory [attrib] r_0053_0019__recommended recommended z_0053_5016->r_0053_0019__recommended [attrib] r_0053_0021__permitted permitted z_0053_5019->r_0053_0021__permitted [attrib] r_0053_0023__disliked disliked z_0053_5022->r_0053_0023__disliked [attrib] r_0053_0026__forbidden forbidden z_0053_5025->r_0053_0026__forbidden [attrib] z_0053_5026 z_0053_5026->r_0053_0014__five_r_0053_0015__categories [arg0] z_0053_5026->r_0053_0025__and [prd]
fof(formula,axiom,
    ? [R_0053_0014__FIVE_R_0053_0015__CATEGORIES,R_0053_0017__OBLIGATORY,Z_0053_5013,R_0053_0019__RECOMMENDED,Z_0053_5016,R_0053_0021__PERMITTED,Z_0053_5019,R_0053_0023__DISLIKED,Z_0053_5022,R_0053_0026__FORBIDDEN,Z_0053_5025,R_0053_0025__AND,Z_0053_5026] :
      ( 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_0053_5026(Z_0053_5026)
      & has_prd(Z_0053_5026,R_0053_0025__AND)
      & r_0053_0025__and(R_0053_0025__AND)
      & has_conj5(R_0053_0025__AND,Z_0053_5025)
      & z_0053_5025(Z_0053_5025)
      & has_attrib(Z_0053_5025,R_0053_0026__FORBIDDEN)
      & has_conj4(R_0053_0025__AND,Z_0053_5022)
      & z_0053_5022(Z_0053_5022)
      & has_attrib(Z_0053_5022,R_0053_0023__DISLIKED)
      & has_conj3(R_0053_0025__AND,Z_0053_5019)
      & z_0053_5019(Z_0053_5019)
      & has_attrib(Z_0053_5019,R_0053_0021__PERMITTED)
      & has_conj2(R_0053_0025__AND,Z_0053_5016)
      & z_0053_5016(Z_0053_5016)
      & has_attrib(Z_0053_5016,R_0053_0019__RECOMMENDED)
      & has_conj1(R_0053_0025__AND,Z_0053_5013)
      & z_0053_5013(Z_0053_5013)
      & has_attrib(Z_0053_5013,R_0053_0017__OBLIGATORY)
      & has_arg0(Z_0053_5026,R_0053_0014__FIVE_R_0053_0015__CATEGORIES) ) ).