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.

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_clr16).
arc(r_0038_0006__any_r_0038_0007__basis, r_0038_0008__other, attrib21).
arc(r_0038_0008__other, z_000_38_a_major_case_27, r_0038_0009__than).
arc(r_0038_0011__drawing, r_0038_0012__an_r_0038_0014__inference, arg1).
arc(r_0038_0011__drawing, z_000_38_a_major_case_31, arg0).
arc(r_0038_0012__an_r_0038_0014__inference, r_0038_0013__adverse, attrib37).
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_0023__to_r_0038_0024__incentivise, scope).
arc(r_0038_0023__to_r_0038_0024__incentivise, r_0038_0019__the_r_0038_0020__result, arg0).
arc(r_0038_0023__to_r_0038_0024__incentivise, r_0038_0025__the_r_0038_0026__non__hyphen__provision, arg1).
arc(r_0038_0023__to_r_0038_0024__incentivise, r_0038_0034__cases, r_0038_0032__in_nim90).
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, attrib76).
arc(r_0038_0029__explanations, r_0038_0031__decisions, r_0038_0030__of).
arc(r_0038_0034__cases, r_0038_0033__future, attrib91).
arc(z_000_38_a_major_case_27, r_0038_0011__drawing, r_0038_0010__by_nim31).

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_000_38_A_MAJOR_CASE_31,R_0038_0011__DRAWING,Z_000_38_A_MAJOR_CASE_27,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_000_38_a_major_case_31(Z_000_38_A_MAJOR_CASE_31)
        & r_0038_0004__proceeded(R_0038_0004__PROCEEDED)
        & has_r_0038_0005__on_clr16(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_attrib21(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,Z_000_38_A_MAJOR_CASE_27)
        & z_000_38_a_major_case_27(Z_000_38_A_MAJOR_CASE_27)
        & has_r_0038_0010__by_nim31(Z_000_38_A_MAJOR_CASE_27,R_0038_0011__DRAWING)
        & r_0038_0011__drawing(R_0038_0011__DRAWING)
        & has_arg0(R_0038_0011__DRAWING,Z_000_38_A_MAJOR_CASE_31)
        & 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_attrib37(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_0031__DECISIONS,R_0038_0029__EXPLANATIONS,R_0038_0025__THE_R_0038_0026__NON__HYPHEN__PROVISION,R_0038_0033__FUTURE,R_0038_0034__CASES,R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0023__TO_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_0031__decisions(R_0038_0031__DECISIONS)
          & r_0038_0033__future(R_0038_0033__FUTURE)
          & r_0038_0021__would_r_0038_0022__be_r_0038_0023__to_r_0038_0024__incentivise(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0023__TO_R_0038_0024__INCENTIVISE)
          & has_r_0038_0032__in_nim90(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0023__TO_R_0038_0024__INCENTIVISE,R_0038_0034__CASES)
          & r_0038_0034__cases(R_0038_0034__CASES)
          & has_attrib91(R_0038_0034__CASES,R_0038_0033__FUTURE)
          & has_arg1(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0023__TO_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)
          & has_attrib76(R_0038_0029__EXPLANATIONS,R_0038_0028__PROPER)
          & has_arg0(R_0038_0021__WOULD_R_0038_0022__BE_R_0038_0023__TO_R_0038_0024__INCENTIVISE,R_0038_0019__THE_R_0038_0020__RESULT) ) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NPR Court;{Court}))
                           (VBD;_Ipr_ proceeded;{proceed[on]})
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (D any;{any})
                                       (N basis;{basis})
                                       (ADJP (ADJ other;{other})
                                             (PP (P-ROLE than;{than})
                                                 (IP-ADV (PP-NIM (P-ROLE by;{by})
                                                                 (IP-PPL (VAG;_Tn_ 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-NIM (P-ROLE in;{in})
                                          (NP (ADJP (ADJ future;{future}))
                                              (NS cases;{case})))))
          (PUNC .))
  (ID 38_a_major_case))