24_a_factbook_2_2010
Although such law systems include sanctions for law infractions, resolution tends to be reconciliatory rather than punitive.
arc(r_0024_0001__Although, r_0024_0005__include, restriction).
arc(r_0024_0001__Although, r_0024_0012__tends, scope).
arc(r_0024_0003__law_r_0024_0004__systems, r_0024_0002__such, attrib7).
arc(r_0024_0005__include, r_0024_0003__law_r_0024_0004__systems, arg0).
arc(r_0024_0005__include, r_0024_0006__sanctions, arg1).
arc(r_0024_0006__sanctions, r_0024_0008__law_r_0024_0009__infractions, r_0024_0007__for).
arc(r_0024_0012__tends, r_0024_0013__to_r_0024_0014__be, scope).
arc(r_0024_0013__to_r_0024_0014__be, r_0024_0011__resolution, arg0).
arc(r_0024_0013__to_r_0024_0014__be, r_0024_0015__reconciliatory, prd).
arc(r_0024_0013__to_r_0024_0014__be, r_0024_0016__rather, nim42).
arc(r_0024_0016__rather, z_000_24_a_factbook_2_2010_48, r_0024_0017__than).
arc(z_000_24_a_factbook_2_2010_48, r_0024_0018__punitive, attrib49).
fof(formula,axiom,
? [R_24_1_ALTHOUGH,R_24_5_INCLUDE,R_24_3_LAW_SYSTEMS,R_24_2_SUCH,R_24_6_SANCTIONS,R_24_8_LAW_INFRACTIONS,R_24_12_TENDS_TO_BE,R_24_11_RESOLUTION,R_24_16_RATHER,Z_24_A_FACTBOOK_2_2010_48,R_24_18_PUNITIVE,R_24_15_RECONCILIATORY] :
( such(R_24_2_SUCH)
& law_infractions(R_24_8_LAW_INFRACTIONS)
& resolution(R_24_11_RESOLUTION)
& punitive(R_24_18_PUNITIVE)
& reconciliatory(R_24_15_RECONCILIATORY)
& although(R_24_1_ALTHOUGH)
& conj1(R_24_1_ALTHOUGH,R_24_5_INCLUDE)
& include(R_24_5_INCLUDE,R_24_3_LAW_SYSTEMS,R_24_6_SANCTIONS)
& law_systems(R_24_3_LAW_SYSTEMS)
& attrib7(R_24_3_LAW_SYSTEMS,R_24_2_SUCH)
& sanctions(R_24_6_SANCTIONS)
& for(R_24_6_SANCTIONS,R_24_8_LAW_INFRACTIONS)
& conj2(R_24_1_ALTHOUGH,R_24_12_TENDS_TO_BE)
& tends_to_be(R_24_12_TENDS_TO_BE,R_24_11_RESOLUTION,R_24_15_RECONCILIATORY)
& nim42(R_24_12_TENDS_TO_BE,R_24_16_RATHER)
& rather(R_24_16_RATHER)
& than(R_24_16_RATHER,Z_24_A_FACTBOOK_2_2010_48)
& z_24_a_factbook_2_2010_48(Z_24_A_FACTBOOK_2_2010_48)
& attrib49(Z_24_A_FACTBOOK_2_2010_48,R_24_18_PUNITIVE) ) ).
( (IP-MAT (PP-SCON (P-CONN Although;{although})
(IP-ADV (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
(N law;{law})
(NS systems;{system}))
(VBP;_Tn_ include;{include})
(NP-OB1 (NS sanctions;{sanction})
(PP (P-ROLE for;{for})
(NP (N law;{law})
(NS infractions;{infraction}))))))
(PUNC ,)
(NP-SBJ (N resolution;{resolution}))
(VBP;_cat_Vt_ tends;{tend})
(IP-INF-CAT (TO to;{to})
(BE;_La_ be;{be})
(ADJP-PRD (ADJ reconciliatory;{reconciliatory}))
(ADVP-NIM (ADVR rather;{rather})
(PP (P-ROLE than;{than})
(NP (ADJP (ADJ punitive;{punitive}))))))
(PUNC .))
(ID 24_a_factbook_2_2010))