Context                Previous, Next                Top


39_a_major_case
18. The only real argument against drawing such an inference is that a finding of this kind in respect of a Prime Minister would be unusual.

%3 r_0039_0002__The_r_0039_0005__argument The argument r_0039_0003__only only r_0039_0002__The_r_0039_0005__argument->r_0039_0003__only [attrib] r_0039_0004__real real r_0039_0002__The_r_0039_0005__argument->r_0039_0004__real [attrib] r_0039_0007__drawing drawing r_0039_0002__The_r_0039_0005__argument->r_0039_0007__drawing against r_0039_0009__an_r_0039_0010__inference an inference r_0039_0007__drawing->r_0039_0009__an_r_0039_0010__inference [arg1] z_000_39_a_major_case_19 r_0039_0007__drawing->z_000_39_a_major_case_19 [arg0] r_0039_0008__such such r_0039_0009__an_r_0039_0010__inference->r_0039_0008__such [attrib] r_0039_0011__is is r_0039_0011__is->r_0039_0002__The_r_0039_0005__argument [arg0] r_0039_0012__that_r_0039_0024__would that would r_0039_0011__is->r_0039_0012__that_r_0039_0024__would [prd] r_0039_0025__be be r_0039_0012__that_r_0039_0024__would->r_0039_0025__be [scope] r_0039_0013__a_r_0039_0014__finding a finding r_0039_0025__be->r_0039_0013__a_r_0039_0014__finding [arg0] r_0039_0026__unusual unusual r_0039_0025__be->r_0039_0026__unusual [prd] r_0039_0016__this_r_0039_0017__kind this kind r_0039_0013__a_r_0039_0014__finding->r_0039_0016__this_r_0039_0017__kind of r_0039_0019__respect respect r_0039_0013__a_r_0039_0014__finding->r_0039_0019__respect in r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister a Prime Minister r_0039_0019__respect->r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister of 
arc(r_0039_0002__The_r_0039_0005__argument, r_0039_0003__only, attrib8).
arc(r_0039_0002__The_r_0039_0005__argument, r_0039_0004__real, attrib11).
arc(r_0039_0002__The_r_0039_0005__argument, r_0039_0007__drawing, r_0039_0006__against).
arc(r_0039_0007__drawing, r_0039_0009__an_r_0039_0010__inference, arg1).
arc(r_0039_0007__drawing, z_000_39_a_major_case_19, arg0).
arc(r_0039_0009__an_r_0039_0010__inference, r_0039_0008__such, attrib23).
arc(r_0039_0011__is, r_0039_0002__The_r_0039_0005__argument, arg0).
arc(r_0039_0011__is, r_0039_0012__that_r_0039_0024__would, prd).
arc(r_0039_0012__that_r_0039_0024__would, r_0039_0025__be, scope).
arc(r_0039_0013__a_r_0039_0014__finding, r_0039_0016__this_r_0039_0017__kind, r_0039_0015__of).
arc(r_0039_0013__a_r_0039_0014__finding, r_0039_0019__respect, r_0039_0018__in).
arc(r_0039_0019__respect, r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister, r_0039_0020__of).
arc(r_0039_0025__be, r_0039_0013__a_r_0039_0014__finding, arg0).
arc(r_0039_0025__be, r_0039_0026__unusual, prd).


%3 r_0039_0002__The_r_0039_0005__argument The argument r_0039_0003__only only r_0039_0002__The_r_0039_0005__argument->r_0039_0003__only [attrib] r_0039_0004__real real r_0039_0002__The_r_0039_0005__argument->r_0039_0004__real [attrib] r_0039_0007__drawing drawing r_0039_0002__The_r_0039_0005__argument->r_0039_0007__drawing against r_0039_0009__an_r_0039_0010__inference an inference r_0039_0007__drawing->r_0039_0009__an_r_0039_0010__inference [arg1] z_000_39_a_major_case_19 r_0039_0007__drawing->z_000_39_a_major_case_19 [arg0] r_0039_0008__such such r_0039_0009__an_r_0039_0010__inference->r_0039_0008__such [attrib] r_0039_0011__is is r_0039_0011__is->r_0039_0002__The_r_0039_0005__argument [arg0] r_0039_0012__that_r_0039_0024__would_r_0039_0025__be that would be r_0039_0011__is->r_0039_0012__that_r_0039_0024__would_r_0039_0025__be [prd] r_0039_0013__a_r_0039_0014__finding a finding r_0039_0012__that_r_0039_0024__would_r_0039_0025__be->r_0039_0013__a_r_0039_0014__finding [arg0] r_0039_0026__unusual unusual r_0039_0012__that_r_0039_0024__would_r_0039_0025__be->r_0039_0026__unusual [prd] r_0039_0016__this_r_0039_0017__kind this kind r_0039_0013__a_r_0039_0014__finding->r_0039_0016__this_r_0039_0017__kind of r_0039_0019__respect respect r_0039_0013__a_r_0039_0014__finding->r_0039_0019__respect in r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister a Prime Minister r_0039_0019__respect->r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister of 
fof(formula,axiom,
    ? [R_39_11_IS,R_39_2_THE_ARGUMENT,R_39_4_REAL,R_39_3_ONLY,R_39_7_DRAWING,Z_39_A_MAJOR_CASE_19,R_39_9_AN_INFERENCE,R_39_8_SUCH,R_39_12_THAT_WOULD_BE,R_39_13_A_FINDING,R_39_16_THIS_KIND,R_39_19_RESPECT,R_39_21_A_PRIME_MINISTER,R_39_26_UNUSUAL] :
      ( real(R_39_4_REAL)
      & only(R_39_3_ONLY)
      & such(R_39_8_SUCH)
      & this_kind(R_39_16_THIS_KIND)
      & a_Prime_Minister(R_39_21_A_PRIME_MINISTER)
      & unusual(R_39_26_UNUSUAL)
      & is(R_39_11_IS,R_39_2_THE_ARGUMENT,R_39_12_THAT_WOULD_BE)
      & the_argument(R_39_2_THE_ARGUMENT)
      & attrib11(R_39_2_THE_ARGUMENT,R_39_4_REAL)
      & attrib8(R_39_2_THE_ARGUMENT,R_39_3_ONLY)
      & against(R_39_2_THE_ARGUMENT,R_39_7_DRAWING)
      & drawing(R_39_7_DRAWING,Z_39_A_MAJOR_CASE_19,R_39_9_AN_INFERENCE)
      & an_inference(R_39_9_AN_INFERENCE)
      & attrib23(R_39_9_AN_INFERENCE,R_39_8_SUCH)
      & that_would_be(R_39_12_THAT_WOULD_BE,R_39_13_A_FINDING,R_39_26_UNUSUAL)
      & a_finding(R_39_13_A_FINDING)
      & of(R_39_13_A_FINDING,R_39_16_THIS_KIND)
      & in(R_39_13_A_FINDING,R_39_19_RESPECT)
      & respect(R_39_19_RESPECT)
      & of(R_39_19_RESPECT,R_39_21_A_PRIME_MINISTER) ) ).


n39_a_major_case n39_a_major_case_4 18. n39_a_major_case_7 The n39_a_major_case_10 only n39_a_major_case_13 real n39_a_major_case_15 argument n39_a_major_case_18 against n39_a_major_case_21 drawing n39_a_major_case_25 such n39_a_major_case_27 an n39_a_major_case_29 inference n39_a_major_case_31 is n39_a_major_case_35 that n39_a_major_case_38 a n39_a_major_case_40 finding n39_a_major_case_43 of n39_a_major_case_46 this n39_a_major_case_48 kind n39_a_major_case_51 in n39_a_major_case_54 respect n39_a_major_case_57 of n39_a_major_case_60 a n39_a_major_case_62 Prime n39_a_major_case_64 Minister n39_a_major_case_66 would n39_a_major_case_69 be n39_a_major_case_72 unusual n39_a_major_case_74 . n39_a_major_case_1 IP-MAT n39_a_major_case_2 LST n39_a_major_case_1->n39_a_major_case_2 n39_a_major_case_5 NP-SBJ n39_a_major_case_1->n39_a_major_case_5 n39_a_major_case_30 BEP;_equ_Vf_ n39_a_major_case_1->n39_a_major_case_30 n39_a_major_case_32 CP-THT-PRD n39_a_major_case_1->n39_a_major_case_32 n39_a_major_case_73 PUNC n39_a_major_case_1->n39_a_major_case_73 n39_a_major_case_3 LS n39_a_major_case_2->n39_a_major_case_3 n39_a_major_case_3->n39_a_major_case_4 n39_a_major_case_6 D n39_a_major_case_5->n39_a_major_case_6 n39_a_major_case_8 ADJP n39_a_major_case_5->n39_a_major_case_8 n39_a_major_case_11 ADJP n39_a_major_case_5->n39_a_major_case_11 n39_a_major_case_14 N n39_a_major_case_5->n39_a_major_case_14 n39_a_major_case_16 PP n39_a_major_case_5->n39_a_major_case_16 n39_a_major_case_6->n39_a_major_case_7 n39_a_major_case_9 ADJ n39_a_major_case_8->n39_a_major_case_9 n39_a_major_case_9->n39_a_major_case_10 n39_a_major_case_12 ADJ n39_a_major_case_11->n39_a_major_case_12 n39_a_major_case_12->n39_a_major_case_13 n39_a_major_case_14->n39_a_major_case_15 n39_a_major_case_17 P-ROLE n39_a_major_case_16->n39_a_major_case_17 n39_a_major_case_19 IP-PPL n39_a_major_case_16->n39_a_major_case_19 n39_a_major_case_17->n39_a_major_case_18 n39_a_major_case_20 VAG;__ n39_a_major_case_19->n39_a_major_case_20 n39_a_major_case_22 NP-OB1 n39_a_major_case_19->n39_a_major_case_22 n39_a_major_case_20->n39_a_major_case_21 n39_a_major_case_23 ADJP n39_a_major_case_22->n39_a_major_case_23 n39_a_major_case_26 D n39_a_major_case_22->n39_a_major_case_26 n39_a_major_case_28 N n39_a_major_case_22->n39_a_major_case_28 n39_a_major_case_24 ADJ;_such_ n39_a_major_case_23->n39_a_major_case_24 n39_a_major_case_24->n39_a_major_case_25 n39_a_major_case_26->n39_a_major_case_27 n39_a_major_case_28->n39_a_major_case_29 n39_a_major_case_30->n39_a_major_case_31 n39_a_major_case_33 IP-SUB n39_a_major_case_32->n39_a_major_case_33 n39_a_major_case_34 C n39_a_major_case_33->n39_a_major_case_34 n39_a_major_case_36 NP-SBJ n39_a_major_case_33->n39_a_major_case_36 n39_a_major_case_65 MD;_cat_Vi_ n39_a_major_case_33->n39_a_major_case_65 n39_a_major_case_67 IP-INF-CAT n39_a_major_case_33->n39_a_major_case_67 n39_a_major_case_34->n39_a_major_case_35 n39_a_major_case_37 D n39_a_major_case_36->n39_a_major_case_37 n39_a_major_case_39 N n39_a_major_case_36->n39_a_major_case_39 n39_a_major_case_41 PP n39_a_major_case_36->n39_a_major_case_41 n39_a_major_case_49 PP n39_a_major_case_36->n39_a_major_case_49 n39_a_major_case_37->n39_a_major_case_38 n39_a_major_case_39->n39_a_major_case_40 n39_a_major_case_42 P-ROLE n39_a_major_case_41->n39_a_major_case_42 n39_a_major_case_44 NP n39_a_major_case_41->n39_a_major_case_44 n39_a_major_case_42->n39_a_major_case_43 n39_a_major_case_45 D n39_a_major_case_44->n39_a_major_case_45 n39_a_major_case_47 N n39_a_major_case_44->n39_a_major_case_47 n39_a_major_case_45->n39_a_major_case_46 n39_a_major_case_47->n39_a_major_case_48 n39_a_major_case_50 P-ROLE n39_a_major_case_49->n39_a_major_case_50 n39_a_major_case_52 NP n39_a_major_case_49->n39_a_major_case_52 n39_a_major_case_50->n39_a_major_case_51 n39_a_major_case_53 N n39_a_major_case_52->n39_a_major_case_53 n39_a_major_case_55 PP n39_a_major_case_52->n39_a_major_case_55 n39_a_major_case_53->n39_a_major_case_54 n39_a_major_case_56 P-ROLE n39_a_major_case_55->n39_a_major_case_56 n39_a_major_case_58 NP n39_a_major_case_55->n39_a_major_case_58 n39_a_major_case_56->n39_a_major_case_57 n39_a_major_case_59 D n39_a_major_case_58->n39_a_major_case_59 n39_a_major_case_61 NPR n39_a_major_case_58->n39_a_major_case_61 n39_a_major_case_63 NPR n39_a_major_case_58->n39_a_major_case_63 n39_a_major_case_59->n39_a_major_case_60 n39_a_major_case_61->n39_a_major_case_62 n39_a_major_case_63->n39_a_major_case_64 n39_a_major_case_65->n39_a_major_case_66 n39_a_major_case_68 BE;_La_ n39_a_major_case_67->n39_a_major_case_68 n39_a_major_case_70 ADJP-PRD n39_a_major_case_67->n39_a_major_case_70 n39_a_major_case_68->n39_a_major_case_69 n39_a_major_case_71 ADJ n39_a_major_case_70->n39_a_major_case_71 n39_a_major_case_71->n39_a_major_case_72 n39_a_major_case_73->n39_a_major_case_74 
( (IP-MAT (LST (LS 18<dot>))
          (NP-SBJ;{ARGUMENT} (D The;{the})
                             (ADJP (ADJ only;{only}))
                             (ADJP (ADJ real;{real}))
                             (N argument;{argument})
                             (PP (P-ROLE against;{against})
                                 (IP-PPL (VAG;__ drawing;{draw})
                                         (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                                                 (D an;{an})
                                                 (N inference;{inference})))))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (D a;{a})
                                      (N finding;{finding})
                                      (PP (P-ROLE of;{of})
                                          (NP (D this;{this})
                                              (N kind;{kind})))
                                      (PP (P-ROLE in;{in})
                                          (NP (N respect;{respect})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D a;{a})
                                                      (NPR Prime;{Prime})
                                                      (NPR Minister;{Minister}))))))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ unusual;{unusual})))))
          (PUNC .))
  (ID 39_a_major_case))