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