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.

( (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})
                                    (ADJP (ADJ punitive;{punitive})))))
          (PUNC .))
  (ID 24_a_factbook_2_2010))

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,attrib).
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_0014__be,scope).
arc(r_0024_0014__be,r_0024_0011__resolution,arg0).
arc(r_0024_0014__be,r_0024_0015__reconciliatory,prd).
arc(r_0024_0014__be,r_0024_0016__rather,nim).
arc(r_0024_0016__rather,r_0024_0018__punitive,r_0024_0017__than).

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,R_0024_0016__RATHER,R_0024_0012__TENDS_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_0014__BE)
      & r_0024_0012__tends_r_0024_0014__be(R_0024_0012__TENDS_R_0024_0014__BE)
      & has_nim(R_0024_0012__TENDS_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,R_0024_0018__PUNITIVE)
      & has_prd(R_0024_0012__TENDS_R_0024_0014__BE,R_0024_0015__RECONCILIATORY)
      & has_arg0(R_0024_0012__TENDS_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_attrib(R_0024_0003__LAW_R_0024_0004__SYSTEMS,R_0024_0002__SUCH) ) ).