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_38_4_PROCEEDED,R_38_2_THE_COURT,R_38_6_ANY_BASIS,R_38_8_OTHER,Z_38_A_MAJOR_CASE_27,R_38_11_DRAWING,Z_38_A_MAJOR_CASE_31,R_38_12_AN_INFERENCE,R_38_13_ADVERSE,R_38_16_THAT_EFFECT] :
      ( ( the_Court(R_38_2_THE_COURT)
        & adverse(R_38_13_ADVERSE)
        & that_effect(R_38_16_THAT_EFFECT)
        & proceeded(R_38_4_PROCEEDED,R_38_2_THE_COURT)
        & on_clr16(R_38_4_PROCEEDED,R_38_6_ANY_BASIS)
        & any_basis(R_38_6_ANY_BASIS)
        & attrib21(R_38_6_ANY_BASIS,R_38_8_OTHER)
        & other(R_38_8_OTHER)
        & than(R_38_8_OTHER,Z_38_A_MAJOR_CASE_27)
        & z_38_a_major_case_27(Z_38_A_MAJOR_CASE_27)
        & by_nim31(Z_38_A_MAJOR_CASE_27,R_38_11_DRAWING)
        & drawing(R_38_11_DRAWING,Z_38_A_MAJOR_CASE_31,R_38_12_AN_INFERENCE)
        & an_inference(R_38_12_AN_INFERENCE)
        & attrib37(R_38_12_AN_INFERENCE,R_38_13_ADVERSE)
        & to(R_38_12_AN_INFERENCE,R_38_16_THAT_EFFECT) )
     => ? [R_38_21_WOULD_BE_TO_INCENTIVISE,R_38_19_THE_RESULT,R_38_25_THE_NON_HYPHEN_PROVISION,R_38_29_EXPLANATIONS,R_38_28_PROPER,R_38_31_DECISIONS,R_38_34_CASES,R_38_33_FUTURE] :
          ( the_result(R_38_19_THE_RESULT)
          & proper(R_38_28_PROPER)
          & decisions(R_38_31_DECISIONS)
          & future(R_38_33_FUTURE)
          & would_be_to_incentivise(R_38_21_WOULD_BE_TO_INCENTIVISE,R_38_19_THE_RESULT,R_38_25_THE_NON_HYPHEN_PROVISION)
          & the_non_hyphen_provision(R_38_25_THE_NON_HYPHEN_PROVISION)
          & of(R_38_25_THE_NON_HYPHEN_PROVISION,R_38_29_EXPLANATIONS)
          & explanations(R_38_29_EXPLANATIONS)
          & attrib76(R_38_29_EXPLANATIONS,R_38_28_PROPER)
          & of(R_38_29_EXPLANATIONS,R_38_31_DECISIONS)
          & in_nim90(R_38_21_WOULD_BE_TO_INCENTIVISE,R_38_34_CASES)
          & cases(R_38_34_CASES)
          & attrib91(R_38_34_CASES,R_38_33_FUTURE) ) ) ).

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