64_a_factbook_2_2010
%3
r_0064_0002__added
added
r_0064_0001__Codes
Codes
r_0064_0002__added->r_0064_0001__Codes
[arg0]
r_0064_0004__the_r_0064_0006__six_r_0064_0007__years
the six years
r_0064_0002__added->r_0064_0004__the_r_0064_0006__six_r_0064_0007__years
over [nim]
r_0064_0005__following
following
r_0064_0004__the_r_0064_0006__six_r_0064_0007__years->r_0064_0005__following
[attrib]
r_0064_0008__included
included
r_0064_0008__included->r_0064_0001__Codes
[arg0]
r_0064_0020__and
and
r_0064_0008__included->r_0064_0020__and
[arg1]
r_0064_0010__procedures
procedures
r_0064_0020__and->r_0064_0010__procedures
[conj1]
r_0064_0013__law
law
r_0064_0020__and->r_0064_0013__law
[conj2]
r_0064_0017__and
and
r_0064_0020__and->r_0064_0017__and
[conj3]
r_0064_0021__a_r_0064_0023__code
a code
r_0064_0020__and->r_0064_0021__a_r_0064_0023__code
[conj4]
r_0064_0009__civil
civil
r_0064_0010__procedures->r_0064_0009__civil
[attrib]
r_0064_0012__commercial
commercial
r_0064_0013__law->r_0064_0012__commercial
[attrib]
r_0064_0016__law
law
r_0064_0015__criminal
criminal
r_0064_0016__law->r_0064_0015__criminal
[attrib]
r_0064_0017__and->r_0064_0016__law
[conj1]
r_0064_0018__procedures
procedures
r_0064_0017__and->r_0064_0018__procedures
[conj2]
r_0064_0022__penal
penal
r_0064_0021__a_r_0064_0023__code->r_0064_0022__penal
[attrib]
arc(r_0064_0002__added, r_0064_0001__Codes, arg0).
arc(r_0064_0002__added, r_0064_0004__the_r_0064_0006__six_r_0064_0007__years, r_0064_0003__over_nim11).
arc(r_0064_0004__the_r_0064_0006__six_r_0064_0007__years, r_0064_0005__following, attrib14).
arc(r_0064_0008__included, r_0064_0001__Codes, arg0).
arc(r_0064_0008__included, r_0064_0020__and, arg1).
arc(r_0064_0010__procedures, r_0064_0009__civil, attrib26).
arc(r_0064_0013__law, r_0064_0012__commercial, attrib35).
arc(r_0064_0016__law, r_0064_0015__criminal, attrib46).
arc(r_0064_0017__and, r_0064_0016__law, conj1).
arc(r_0064_0017__and, r_0064_0018__procedures, conj2).
arc(r_0064_0020__and, r_0064_0010__procedures, conj1).
arc(r_0064_0020__and, r_0064_0013__law, conj2).
arc(r_0064_0020__and, r_0064_0017__and, conj3).
arc(r_0064_0020__and, r_0064_0021__a_r_0064_0023__code, conj4).
arc(r_0064_0021__a_r_0064_0023__code, r_0064_0022__penal, attrib65).
%3
r_0064_0021__a_r_0064_0023__code
a code
r_0064_0022__penal
penal
r_0064_0021__a_r_0064_0023__code->r_0064_0022__penal
[attrib]
r_0064_0020__and
and
r_0064_0020__and->r_0064_0021__a_r_0064_0023__code
[conj4]
r_0064_0017__and
and
r_0064_0020__and->r_0064_0017__and
[conj3]
r_0064_0013__law
law
r_0064_0020__and->r_0064_0013__law
[conj2]
r_0064_0010__procedures
procedures
r_0064_0020__and->r_0064_0010__procedures
[conj1]
r_0064_0018__procedures
procedures
r_0064_0017__and->r_0064_0018__procedures
[conj2]
r_0064_0016__law
law
r_0064_0017__and->r_0064_0016__law
[conj1]
r_0064_0012__commercial
commercial
r_0064_0013__law->r_0064_0012__commercial
[attrib]
r_0064_0009__civil
civil
r_0064_0010__procedures->r_0064_0009__civil
[attrib]
r_0064_0015__criminal
criminal
r_0064_0016__law->r_0064_0015__criminal
[attrib]
r_0064_0008__included
included
r_0064_0008__included->r_0064_0020__and
[arg1]
r_0064_0001__Codes
Codes
r_0064_0008__included->r_0064_0001__Codes
[arg0]
r_0064_0004__the_r_0064_0006__six_r_0064_0007__years
the six years
r_0064_0005__following
following
r_0064_0004__the_r_0064_0006__six_r_0064_0007__years->r_0064_0005__following
[attrib]
r_0064_0002__added
added
r_0064_0002__added->r_0064_0001__Codes
[arg0]
r_0064_0002__added->r_0064_0004__the_r_0064_0006__six_r_0064_0007__years
over [nim]
fof(formula,axiom,
? [R_64_2_ADDED,R_64_4_THE_SIX_YEARS,R_64_5_FOLLOWING,R_64_8_INCLUDED,R_64_1_CODES,R_64_20_AND,R_64_10_PROCEDURES,R_64_9_CIVIL,R_64_13_LAW,R_64_12_COMMERCIAL,R_64_17_AND,R_64_16_LAW,R_64_15_CRIMINAL,R_64_18_PROCEDURES,R_64_21_A_CODE,R_64_22_PENAL] :
( following(R_64_5_FOLLOWING)
& codes(R_64_1_CODES)
& civil(R_64_9_CIVIL)
& commercial(R_64_12_COMMERCIAL)
& criminal(R_64_15_CRIMINAL)
& procedures(R_64_18_PROCEDURES)
& penal(R_64_22_PENAL)
& added(R_64_2_ADDED,R_64_1_CODES)
& over_nim11(R_64_2_ADDED,R_64_4_THE_SIX_YEARS)
& the_six_years(R_64_4_THE_SIX_YEARS)
& attrib14(R_64_4_THE_SIX_YEARS,R_64_5_FOLLOWING)
& included(R_64_8_INCLUDED,R_64_1_CODES,R_64_20_AND)
& and(R_64_20_AND)
& conj1(R_64_20_AND,R_64_10_PROCEDURES)
& procedures(R_64_10_PROCEDURES)
& attrib26(R_64_10_PROCEDURES,R_64_9_CIVIL)
& conj2(R_64_20_AND,R_64_13_LAW)
& law(R_64_13_LAW)
& attrib35(R_64_13_LAW,R_64_12_COMMERCIAL)
& conj3(R_64_20_AND,R_64_17_AND)
& and(R_64_17_AND)
& conj1(R_64_17_AND,R_64_16_LAW)
& law(R_64_16_LAW)
& attrib46(R_64_16_LAW,R_64_15_CRIMINAL)
& conj2(R_64_17_AND,R_64_18_PROCEDURES)
& conj4(R_64_20_AND,R_64_21_A_CODE)
& a_code(R_64_21_A_CODE)
& attrib65(R_64_21_A_CODE,R_64_22_PENAL) ) ).
n64_a_factbook_2_2010
n64_a_factbook_2_2010__1_1_1_1
Codes
n64_a_factbook_2_2010__1_1_2_1_1
added
n64_a_factbook_2_2010__1_1_2_2_1_1
over
n64_a_factbook_2_2010__1_1_2_2_2_1_1
the
n64_a_factbook_2_2010__1_1_2_2_2_2_1_1
following
n64_a_factbook_2_2010__1_1_2_2_2_3_1
six
n64_a_factbook_2_2010__1_1_2_2_2_4_1
years
n64_a_factbook_2_2010__1_2_1
included
n64_a_factbook_2_2010__1_3_1_1_1_1_1
civil
n64_a_factbook_2_2010__1_3_1_1_2_1
procedures
n64_a_factbook_2_2010__1_3_1_2_1
,
n64_a_factbook_2_2010__1_3_1_3_1_1_1_1
commercial
n64_a_factbook_2_2010__1_3_1_3_1_2_1
law
n64_a_factbook_2_2010__1_3_1_4_1
,
n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1_1
criminal
n64_a_factbook_2_2010__1_3_1_5_1_1_1_2_1
law
n64_a_factbook_2_2010__1_3_1_5_1_1_2_1_1
and
n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1_1
procedures
n64_a_factbook_2_2010__1_3_1_6_1
,
n64_a_factbook_2_2010__1_3_1_7_1_1
and
n64_a_factbook_2_2010__1_3_1_7_2_1_1
a
n64_a_factbook_2_2010__1_3_1_7_2_2_1_1
penal
n64_a_factbook_2_2010__1_3_1_7_2_3_1
code
n64_a_factbook_2_2010__1_4_1
.
n64_a_factbook_2_2010__1
IP-MAT
n64_a_factbook_2_2010__1_1
NP-SBJ
n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_1
n64_a_factbook_2_2010__1_2
VBD;__
n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_2
n64_a_factbook_2_2010__1_3
NP-OB1
n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_3
n64_a_factbook_2_2010__1_4
PUNC
n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_4
n64_a_factbook_2_2010__1_1_1
NS
n64_a_factbook_2_2010__1_1->n64_a_factbook_2_2010__1_1_1
n64_a_factbook_2_2010__1_1_2
IP-PPL
n64_a_factbook_2_2010__1_1->n64_a_factbook_2_2010__1_1_2
n64_a_factbook_2_2010__1_1_1->n64_a_factbook_2_2010__1_1_1_1
n64_a_factbook_2_2010__1_1_2_1
VVN;__
n64_a_factbook_2_2010__1_1_2->n64_a_factbook_2_2010__1_1_2_1
n64_a_factbook_2_2010__1_1_2_2
PP-NIM
n64_a_factbook_2_2010__1_1_2->n64_a_factbook_2_2010__1_1_2_2
n64_a_factbook_2_2010__1_1_2_1->n64_a_factbook_2_2010__1_1_2_1_1
n64_a_factbook_2_2010__1_1_2_2_1
P-ROLE
n64_a_factbook_2_2010__1_1_2_2->n64_a_factbook_2_2010__1_1_2_2_1
n64_a_factbook_2_2010__1_1_2_2_2
NP
n64_a_factbook_2_2010__1_1_2_2->n64_a_factbook_2_2010__1_1_2_2_2
n64_a_factbook_2_2010__1_1_2_2_1->n64_a_factbook_2_2010__1_1_2_2_1_1
n64_a_factbook_2_2010__1_1_2_2_2_1
D
n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_1
n64_a_factbook_2_2010__1_1_2_2_2_2
ADJP
n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_2
n64_a_factbook_2_2010__1_1_2_2_2_3
NUM
n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_3
n64_a_factbook_2_2010__1_1_2_2_2_4
NS
n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_4
n64_a_factbook_2_2010__1_1_2_2_2_1->n64_a_factbook_2_2010__1_1_2_2_2_1_1
n64_a_factbook_2_2010__1_1_2_2_2_2_1
ADJ
n64_a_factbook_2_2010__1_1_2_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_2_1
n64_a_factbook_2_2010__1_1_2_2_2_2_1->n64_a_factbook_2_2010__1_1_2_2_2_2_1_1
n64_a_factbook_2_2010__1_1_2_2_2_3->n64_a_factbook_2_2010__1_1_2_2_2_3_1
n64_a_factbook_2_2010__1_1_2_2_2_4->n64_a_factbook_2_2010__1_1_2_2_2_4_1
n64_a_factbook_2_2010__1_2->n64_a_factbook_2_2010__1_2_1
n64_a_factbook_2_2010__1_3_1
NLYR
n64_a_factbook_2_2010__1_3->n64_a_factbook_2_2010__1_3_1
n64_a_factbook_2_2010__1_3_1_1
NLYR
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_1
n64_a_factbook_2_2010__1_3_1_2
PUNC
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_2
n64_a_factbook_2_2010__1_3_1_3
CONJP
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_3
n64_a_factbook_2_2010__1_3_1_4
PUNC
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_4
n64_a_factbook_2_2010__1_3_1_5
CONJP
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_5
n64_a_factbook_2_2010__1_3_1_6
PUNC
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_6
n64_a_factbook_2_2010__1_3_1_7
CONJP
n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_7
n64_a_factbook_2_2010__1_3_1_1_1
ADJP
n64_a_factbook_2_2010__1_3_1_1->n64_a_factbook_2_2010__1_3_1_1_1
n64_a_factbook_2_2010__1_3_1_1_2
NS
n64_a_factbook_2_2010__1_3_1_1->n64_a_factbook_2_2010__1_3_1_1_2
n64_a_factbook_2_2010__1_3_1_1_1_1
ADJ
n64_a_factbook_2_2010__1_3_1_1_1->n64_a_factbook_2_2010__1_3_1_1_1_1
n64_a_factbook_2_2010__1_3_1_1_1_1->n64_a_factbook_2_2010__1_3_1_1_1_1_1
n64_a_factbook_2_2010__1_3_1_1_2->n64_a_factbook_2_2010__1_3_1_1_2_1
n64_a_factbook_2_2010__1_3_1_2->n64_a_factbook_2_2010__1_3_1_2_1
n64_a_factbook_2_2010__1_3_1_3_1
NLYR
n64_a_factbook_2_2010__1_3_1_3->n64_a_factbook_2_2010__1_3_1_3_1
n64_a_factbook_2_2010__1_3_1_3_1_1
ADJP
n64_a_factbook_2_2010__1_3_1_3_1->n64_a_factbook_2_2010__1_3_1_3_1_1
n64_a_factbook_2_2010__1_3_1_3_1_2
N
n64_a_factbook_2_2010__1_3_1_3_1->n64_a_factbook_2_2010__1_3_1_3_1_2
n64_a_factbook_2_2010__1_3_1_3_1_1_1
ADJ
n64_a_factbook_2_2010__1_3_1_3_1_1->n64_a_factbook_2_2010__1_3_1_3_1_1_1
n64_a_factbook_2_2010__1_3_1_3_1_1_1->n64_a_factbook_2_2010__1_3_1_3_1_1_1_1
n64_a_factbook_2_2010__1_3_1_3_1_2->n64_a_factbook_2_2010__1_3_1_3_1_2_1
n64_a_factbook_2_2010__1_3_1_4->n64_a_factbook_2_2010__1_3_1_4_1
n64_a_factbook_2_2010__1_3_1_5_1
NLYR
n64_a_factbook_2_2010__1_3_1_5->n64_a_factbook_2_2010__1_3_1_5_1
n64_a_factbook_2_2010__1_3_1_5_1_1
NLYR
n64_a_factbook_2_2010__1_3_1_5_1->n64_a_factbook_2_2010__1_3_1_5_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_1
NLYR
n64_a_factbook_2_2010__1_3_1_5_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_2
CONJP
n64_a_factbook_2_2010__1_3_1_5_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2
n64_a_factbook_2_2010__1_3_1_5_1_1_1_1
ADJP
n64_a_factbook_2_2010__1_3_1_5_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_1_2
N
n64_a_factbook_2_2010__1_3_1_5_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_2
n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1
ADJ
n64_a_factbook_2_2010__1_3_1_5_1_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_1_2_1
n64_a_factbook_2_2010__1_3_1_5_1_1_2_1
CONJ
n64_a_factbook_2_2010__1_3_1_5_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_1
n64_a_factbook_2_2010__1_3_1_5_1_1_2_2
NLYR
n64_a_factbook_2_2010__1_3_1_5_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2
n64_a_factbook_2_2010__1_3_1_5_1_1_2_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2_1_1
n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1
NS
n64_a_factbook_2_2010__1_3_1_5_1_1_2_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1
n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1_1
n64_a_factbook_2_2010__1_3_1_6->n64_a_factbook_2_2010__1_3_1_6_1
n64_a_factbook_2_2010__1_3_1_7_1
CONJ
n64_a_factbook_2_2010__1_3_1_7->n64_a_factbook_2_2010__1_3_1_7_1
n64_a_factbook_2_2010__1_3_1_7_2
NLYR
n64_a_factbook_2_2010__1_3_1_7->n64_a_factbook_2_2010__1_3_1_7_2
n64_a_factbook_2_2010__1_3_1_7_1->n64_a_factbook_2_2010__1_3_1_7_1_1
n64_a_factbook_2_2010__1_3_1_7_2_1
D
n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_1
n64_a_factbook_2_2010__1_3_1_7_2_2
ADJP
n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_2
n64_a_factbook_2_2010__1_3_1_7_2_3
N
n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_3
n64_a_factbook_2_2010__1_3_1_7_2_1->n64_a_factbook_2_2010__1_3_1_7_2_1_1
n64_a_factbook_2_2010__1_3_1_7_2_2_1
ADJ
n64_a_factbook_2_2010__1_3_1_7_2_2->n64_a_factbook_2_2010__1_3_1_7_2_2_1
n64_a_factbook_2_2010__1_3_1_7_2_2_1->n64_a_factbook_2_2010__1_3_1_7_2_2_1_1
n64_a_factbook_2_2010__1_3_1_7_2_3->n64_a_factbook_2_2010__1_3_1_7_2_3_1
n64_a_factbook_2_2010__1_4->n64_a_factbook_2_2010__1_4_1
( (IP-MAT (NP-SBJ (NS Codes;{code})
(IP-PPL (VVN;__ added;{add})
(PP-NIM (P-ROLE over;{over})
(NP (D the;{the})
(ADJP (ADJ following;{following}))
(NUM six;{six})
(NS years;{year})))))
(VBD;__ included;{include})
(NP-OB1 (NLYR (NLYR (ADJP (ADJ civil;{civil}))
(NS procedures;{procedure}))
(PUNC ,)
(CONJP (NLYR (ADJP (ADJ commercial;{commercial}))
(N law;{law})))
(PUNC ,)
(CONJP (NLYR (NLYR (NLYR (ADJP (ADJ criminal;{criminal}))
(N law;{law}))
(CONJP (CONJ and;{and})
(NLYR (NS procedures;{procedure}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (D a;{a})
(ADJP (ADJ penal;{penal}))
(N code;{code})))))
(PUNC .))
(ID 64_a_factbook_2_2010))