TSPC 38_a_major

38_a_major_case
If the Court proceeded on any basis other than by drawing an adverse inference to that effect, the result would be to incentivise the non-provision of proper explanations of decisions in future cases.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NPR Court;{Court}))
                           (VBD;__ proceeded;{proceed})
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (D any;{any})
                                       (N basis;{basis})
                                       (ADJP (ADJ other;{other})
                                             (PP (P-ROLE than;{than})
                                                 (IP-ADV (PP-SCON (P-CONN by;{by})
                                                                  (IP-PPL (VAG;__ drawing;{draw})
                                                                          (NP-OB1 (D an;{an})
                                                                                  (ADJP (ADJ adverse;{adverse}))
                                                                                  (N inference;{inference})
                                                                                  (PP (P-ROLE to;{to})
                                                                                      (NP (D that;{that})
                                                                                          (N effect;{effect})))))))))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N result;{result}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_cat_Vt_ be;{be})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ incentivise;{incentivise})
                                  (NP-OB1 (D the;{the})
                                          (N non_<hyphen>_provision;{non_provision})
                                          (PP (P-ROLE of;{of})
                                              (NP (ADJP (ADJ proper;{proper}))
                                                  (NS explanations;{explanation})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NS decisions;{decision})
                                                          (PP (P-ROLE in;{in})
                                                              (NP (ADJP (ADJ future;{future}))
                                                                  (NS cases;{case}))))))))))
          (PUNC .))
  (ID 38_a_major_case))

arc(r_0038_0001__If,r_0038_0004__proceeded,restriction).
arc(r_0038_0001__If,r_0038_0021__would,scope).
arc(r_0038_0004__proceeded,r_0038_0002__the_r_0038_0003__Court,arg0).
arc(r_0038_0004__proceeded,r_0038_0006__any_r_0038_0007__basis,r_0038_0005__on__nim).
arc(r_0038_0006__any_r_0038_0007__basis,r_0038_0008__other,attrib).
arc(r_0038_0008__other,r_0038_0010__by,r_0038_0009__than).
arc(r_0038_0010__by,r_0038_0011__drawing,restriction).
arc(r_0038_0010__by,z_0038_5012,scope).
arc(r_0038_0011__drawing,r_0038_0012__an_r_0038_0014__inference,arg1).
arc(r_0038_0011__drawing,z_0038_5006,arg0).
arc(r_0038_0012__an_r_0038_0014__inference,r_0038_0013__adverse,attrib).
arc(r_0038_0012__an_r_0038_0014__inference,r_0038_0016__that_r_0038_0017__effect,r_0038_0015__to).
arc(r_0038_0021__would,r_0038_0022__be,scope).
arc(r_0038_0022__be,r_0038_0024__incentivise,scope).
arc(r_0038_0024__incentivise,r_0038_0019__the_r_0038_0020__result,arg0).
arc(r_0038_0024__incentivise,r_0038_0025__the_r_0038_0026__non__hyphen__provision,arg1).
arc(r_0038_0025__the_r_0038_0026__non__hyphen__provision,r_0038_0029__explanations,r_0038_0027__of).
arc(r_0038_0029__explanations,r_0038_0028__proper,attrib).
arc(r_0038_0029__explanations,r_0038_0031__decisions,r_0038_0030__of).
arc(r_0038_0031__decisions,r_0038_0034__cases,r_0038_0032__in).
arc(r_0038_0034__cases,r_0038_0033__future,attrib).
arc(z_0038_5012,z_0038_5006,arg0).

fof(formula,axiom,
    ! [R_0038_0004__PROCEEDED,R_0038_0002__THE_R_0038_0003__COURT,R_0038_0013__ADVERSE,R_0038_0016__THAT_R_0038_0017__EFFECT,R_0038_0012__AN_R_0038_0014__INFERENCE,Z_0038_5006,R_0038_0011__DRAWING,Z_0038_5012,R_0038_0010__BY,R_0038_0008__OTHER,R_0038_0006__ANY_R_0038_0007__BASIS] :
      ( ( r_0038_0002__the_r_0038_0003__Court(R_0038_0002__THE_R_0038_0003__COURT)
        & r_0038_0013__adverse(R_0038_0013__ADVERSE)
        & r_0038_0016__that_r_0038_0017__effect(R_0038_0016__THAT_R_0038_0017__EFFECT)
        & z_0038_5006(Z_0038_5006)
        & r_0038_0004__proceeded(R_0038_0004__PROCEEDED)
        & has_r_0038_0005__on__nim(R_0038_0004__PROCEEDED,R_0038_0006__ANY_R_0038_0007__BASIS)
        & r_0038_0006__any_r_0038_0007__basis(R_0038_0006__ANY_R_0038_0007__BASIS)
        & has_attrib(R_0038_0006__ANY_R_0038_0007__BASIS,R_0038_0008__OTHER)
        & r_0038_0008__other(R_0038_0008__OTHER)
        & has_r_0038_0009__than(R_0038_0008__OTHER,R_0038_0010__BY)
        & r_0038_0010__by(R_0038_0010__BY)
        & has_conj2(R_0038_0010__BY,Z_0038_5012)
        & z_0038_5012(Z_0038_5012)
        & has_arg0(Z_0038_5012,Z_0038_5006)
        & has_conj1(R_0038_0010__BY,R_0038_0011__DRAWING)
        & r_0038_0011__drawing(R_0038_0011__DRAWING)
        & has_arg0(R_0038_0011__DRAWING,Z_0038_5006)
        & has_arg1(R_0038_0011__DRAWING,R_0038_0012__AN_R_0038_0014__INFERENCE)
        & r_0038_0012__an_r_0038_0014__inference(R_0038_0012__AN_R_0038_0014__INFERENCE)
        & has_r_0038_0015__to(R_0038_0012__AN_R_0038_0014__INFERENCE,R_0038_0016__THAT_R_0038_0017__EFFECT)
        & has_attrib(R_0038_0012__AN_R_0038_0014__INFERENCE,R_0038_0013__ADVERSE)
        & has_arg0(R_0038_0004__PROCEEDED,R_0038_0002__THE_R_0038_0003__COURT) )
     => ? [R_0038_0019__THE_R_0038_0020__RESULT,R_0038_0028__PROPER,R_0038_0033__FUTURE,R_0038_0034__CASES,R_0038_0031__DECISIONS,R_0038_0029__EXPLANATIONS,R_0038_0025__THE_R_0038_0026__NON__HYPHEN__PROVISION,R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0024__INCENTIVISE] :
          ( r_0038_0019__the_r_0038_0020__result(R_0038_0019__THE_R_0038_0020__RESULT)
          & r_0038_0028__proper(R_0038_0028__PROPER)
          & r_0038_0033__future(R_0038_0033__FUTURE)
          & r_0038_0021__would_r_0038_0022__be_r_0038_0024__incentivise(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0024__INCENTIVISE)
          & has_arg1(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0024__INCENTIVISE,R_0038_0025__THE_R_0038_0026__NON__HYPHEN__PROVISION)
          & r_0038_0025__the_r_0038_0026__non__hyphen__provision(R_0038_0025__THE_R_0038_0026__NON__HYPHEN__PROVISION)
          & has_r_0038_0027__of(R_0038_0025__THE_R_0038_0026__NON__HYPHEN__PROVISION,R_0038_0029__EXPLANATIONS)
          & r_0038_0029__explanations(R_0038_0029__EXPLANATIONS)
          & has_r_0038_0030__of(R_0038_0029__EXPLANATIONS,R_0038_0031__DECISIONS)
          & r_0038_0031__decisions(R_0038_0031__DECISIONS)
          & has_r_0038_0032__in(R_0038_0031__DECISIONS,R_0038_0034__CASES)
          & r_0038_0034__cases(R_0038_0034__CASES)
          & has_attrib(R_0038_0034__CASES,R_0038_0033__FUTURE)
          & has_attrib(R_0038_0029__EXPLANATIONS,R_0038_0028__PROPER)
          & has_arg0(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0024__INCENTIVISE,R_0038_0019__THE_R_0038_0020__RESULT) ) ) ).