TSPC 24_a_factbook_2

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_0024_0002__SUCH,R_0024_0003__LAW_R_0024_0004__SYSTEMS,R_0024_0008__LAW_R_0024_0009__INFRACTIONS,R_0024_0006__SANCTIONS,R_0024_0005__INCLUDE,R_0024_0011__RESOLUTION,R_0024_0015__RECONCILIATORY,R_0024_0018__PUNITIVE,Z_000_24_A_FACTBOOK_2_2010_48,R_0024_0016__RATHER,R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE,R_0024_0001__ALTHOUGH] :
      ( r_0024_0002__such(R_0024_0002__SUCH)
      & r_0024_0008__law_r_0024_0009__infractions(R_0024_0008__LAW_R_0024_0009__INFRACTIONS)
      & r_0024_0011__resolution(R_0024_0011__RESOLUTION)
      & r_0024_0015__reconciliatory(R_0024_0015__RECONCILIATORY)
      & r_0024_0018__punitive(R_0024_0018__PUNITIVE)
      & r_0024_0001__Although(R_0024_0001__ALTHOUGH)
      & has_conj2(R_0024_0001__ALTHOUGH,R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE)
      & r_0024_0012__tends_r_0024_0013__to_r_0024_0014__be(R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE)
      & has_nim42(R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE,R_0024_0016__RATHER)
      & r_0024_0016__rather(R_0024_0016__RATHER)
      & has_r_0024_0017__than(R_0024_0016__RATHER,Z_000_24_A_FACTBOOK_2_2010_48)
      & z_000_24_a_factbook_2_2010_48(Z_000_24_A_FACTBOOK_2_2010_48)
      & has_attrib49(Z_000_24_A_FACTBOOK_2_2010_48,R_0024_0018__PUNITIVE)
      & has_prd(R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE,R_0024_0015__RECONCILIATORY)
      & has_arg0(R_0024_0012__TENDS_R_0024_0013__TO_R_0024_0014__BE,R_0024_0011__RESOLUTION)
      & has_conj1(R_0024_0001__ALTHOUGH,R_0024_0005__INCLUDE)
      & r_0024_0005__include(R_0024_0005__INCLUDE)
      & has_arg1(R_0024_0005__INCLUDE,R_0024_0006__SANCTIONS)
      & r_0024_0006__sanctions(R_0024_0006__SANCTIONS)
      & has_r_0024_0007__for(R_0024_0006__SANCTIONS,R_0024_0008__LAW_R_0024_0009__INFRACTIONS)
      & has_arg0(R_0024_0005__INCLUDE,R_0024_0003__LAW_R_0024_0004__SYSTEMS)
      & r_0024_0003__law_r_0024_0004__systems(R_0024_0003__LAW_R_0024_0004__SYSTEMS)
      & has_attrib7(R_0024_0003__LAW_R_0024_0004__SYSTEMS,R_0024_0002__SUCH) ) ).

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