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.

n39_a_major_case n39_a_major_case__1_1_1_1 18. n39_a_major_case__1_2_1_1 The n39_a_major_case__1_2_2_1_1 only n39_a_major_case__1_2_3_1_1 real n39_a_major_case__1_2_4_1 argument n39_a_major_case__1_2_5_1_1 against n39_a_major_case__1_2_5_2_1_1 drawing n39_a_major_case__1_2_5_2_2_1_1_1 such n39_a_major_case__1_2_5_2_2_2_1 an n39_a_major_case__1_2_5_2_2_3_1 inference n39_a_major_case__1_3_1 is n39_a_major_case__1_4_1_1_1 that n39_a_major_case__1_4_1_2_1_1 a n39_a_major_case__1_4_1_2_2_1 finding n39_a_major_case__1_4_1_2_3_1_1 of n39_a_major_case__1_4_1_2_3_2_1_1 this n39_a_major_case__1_4_1_2_3_2_2_1 kind n39_a_major_case__1_4_1_2_4_1_1 in n39_a_major_case__1_4_1_2_4_2_1_1 respect n39_a_major_case__1_4_1_2_4_2_2_1_1 of n39_a_major_case__1_4_1_2_4_2_2_2_1_1 a n39_a_major_case__1_4_1_2_4_2_2_2_2_1 Prime n39_a_major_case__1_4_1_2_4_2_2_2_3_1 Minister n39_a_major_case__1_4_1_3_1 would n39_a_major_case__1_4_1_4_1_1 be n39_a_major_case__1_4_1_4_2_1_1 unusual n39_a_major_case__1_5_1 . n39_a_major_case__1 IP-MAT n39_a_major_case__1_1 LST n39_a_major_case__1->n39_a_major_case__1_1 n39_a_major_case__1_2 NP-SBJ n39_a_major_case__1->n39_a_major_case__1_2 n39_a_major_case__1_3 BEP;_equ_Vf_ n39_a_major_case__1->n39_a_major_case__1_3 n39_a_major_case__1_4 CP-THT-PRD n39_a_major_case__1->n39_a_major_case__1_4 n39_a_major_case__1_5 PUNC n39_a_major_case__1->n39_a_major_case__1_5 n39_a_major_case__1_1_1 LS n39_a_major_case__1_1->n39_a_major_case__1_1_1 n39_a_major_case__1_1_1->n39_a_major_case__1_1_1_1 n39_a_major_case__1_2_1 D n39_a_major_case__1_2->n39_a_major_case__1_2_1 n39_a_major_case__1_2_2 ADJP n39_a_major_case__1_2->n39_a_major_case__1_2_2 n39_a_major_case__1_2_3 ADJP n39_a_major_case__1_2->n39_a_major_case__1_2_3 n39_a_major_case__1_2_4 N n39_a_major_case__1_2->n39_a_major_case__1_2_4 n39_a_major_case__1_2_5 PP n39_a_major_case__1_2->n39_a_major_case__1_2_5 n39_a_major_case__1_2_1->n39_a_major_case__1_2_1_1 n39_a_major_case__1_2_2_1 ADJ n39_a_major_case__1_2_2->n39_a_major_case__1_2_2_1 n39_a_major_case__1_2_2_1->n39_a_major_case__1_2_2_1_1 n39_a_major_case__1_2_3_1 ADJ n39_a_major_case__1_2_3->n39_a_major_case__1_2_3_1 n39_a_major_case__1_2_3_1->n39_a_major_case__1_2_3_1_1 n39_a_major_case__1_2_4->n39_a_major_case__1_2_4_1 n39_a_major_case__1_2_5_1 P-ROLE n39_a_major_case__1_2_5->n39_a_major_case__1_2_5_1 n39_a_major_case__1_2_5_2 IP-PPL n39_a_major_case__1_2_5->n39_a_major_case__1_2_5_2 n39_a_major_case__1_2_5_1->n39_a_major_case__1_2_5_1_1 n39_a_major_case__1_2_5_2_1 VAG;__ n39_a_major_case__1_2_5_2->n39_a_major_case__1_2_5_2_1 n39_a_major_case__1_2_5_2_2 NP-OB1 n39_a_major_case__1_2_5_2->n39_a_major_case__1_2_5_2_2 n39_a_major_case__1_2_5_2_1->n39_a_major_case__1_2_5_2_1_1 n39_a_major_case__1_2_5_2_2_1 ADJP n39_a_major_case__1_2_5_2_2->n39_a_major_case__1_2_5_2_2_1 n39_a_major_case__1_2_5_2_2_2 D n39_a_major_case__1_2_5_2_2->n39_a_major_case__1_2_5_2_2_2 n39_a_major_case__1_2_5_2_2_3 N n39_a_major_case__1_2_5_2_2->n39_a_major_case__1_2_5_2_2_3 n39_a_major_case__1_2_5_2_2_1_1 ADJ;_such_ n39_a_major_case__1_2_5_2_2_1->n39_a_major_case__1_2_5_2_2_1_1 n39_a_major_case__1_2_5_2_2_1_1->n39_a_major_case__1_2_5_2_2_1_1_1 n39_a_major_case__1_2_5_2_2_2->n39_a_major_case__1_2_5_2_2_2_1 n39_a_major_case__1_2_5_2_2_3->n39_a_major_case__1_2_5_2_2_3_1 n39_a_major_case__1_3->n39_a_major_case__1_3_1 n39_a_major_case__1_4_1 IP-SUB n39_a_major_case__1_4->n39_a_major_case__1_4_1 n39_a_major_case__1_4_1_1 C n39_a_major_case__1_4_1->n39_a_major_case__1_4_1_1 n39_a_major_case__1_4_1_2 NP-SBJ n39_a_major_case__1_4_1->n39_a_major_case__1_4_1_2 n39_a_major_case__1_4_1_3 MD;_cat_Vi_ n39_a_major_case__1_4_1->n39_a_major_case__1_4_1_3 n39_a_major_case__1_4_1_4 IP-INF-CAT n39_a_major_case__1_4_1->n39_a_major_case__1_4_1_4 n39_a_major_case__1_4_1_1->n39_a_major_case__1_4_1_1_1 n39_a_major_case__1_4_1_2_1 D n39_a_major_case__1_4_1_2->n39_a_major_case__1_4_1_2_1 n39_a_major_case__1_4_1_2_2 N n39_a_major_case__1_4_1_2->n39_a_major_case__1_4_1_2_2 n39_a_major_case__1_4_1_2_3 PP n39_a_major_case__1_4_1_2->n39_a_major_case__1_4_1_2_3 n39_a_major_case__1_4_1_2_4 PP n39_a_major_case__1_4_1_2->n39_a_major_case__1_4_1_2_4 n39_a_major_case__1_4_1_2_1->n39_a_major_case__1_4_1_2_1_1 n39_a_major_case__1_4_1_2_2->n39_a_major_case__1_4_1_2_2_1 n39_a_major_case__1_4_1_2_3_1 P-ROLE n39_a_major_case__1_4_1_2_3->n39_a_major_case__1_4_1_2_3_1 n39_a_major_case__1_4_1_2_3_2 NP n39_a_major_case__1_4_1_2_3->n39_a_major_case__1_4_1_2_3_2 n39_a_major_case__1_4_1_2_3_1->n39_a_major_case__1_4_1_2_3_1_1 n39_a_major_case__1_4_1_2_3_2_1 D n39_a_major_case__1_4_1_2_3_2->n39_a_major_case__1_4_1_2_3_2_1 n39_a_major_case__1_4_1_2_3_2_2 N n39_a_major_case__1_4_1_2_3_2->n39_a_major_case__1_4_1_2_3_2_2 n39_a_major_case__1_4_1_2_3_2_1->n39_a_major_case__1_4_1_2_3_2_1_1 n39_a_major_case__1_4_1_2_3_2_2->n39_a_major_case__1_4_1_2_3_2_2_1 n39_a_major_case__1_4_1_2_4_1 P-ROLE n39_a_major_case__1_4_1_2_4->n39_a_major_case__1_4_1_2_4_1 n39_a_major_case__1_4_1_2_4_2 NP n39_a_major_case__1_4_1_2_4->n39_a_major_case__1_4_1_2_4_2 n39_a_major_case__1_4_1_2_4_1->n39_a_major_case__1_4_1_2_4_1_1 n39_a_major_case__1_4_1_2_4_2_1 N n39_a_major_case__1_4_1_2_4_2->n39_a_major_case__1_4_1_2_4_2_1 n39_a_major_case__1_4_1_2_4_2_2 PP n39_a_major_case__1_4_1_2_4_2->n39_a_major_case__1_4_1_2_4_2_2 n39_a_major_case__1_4_1_2_4_2_1->n39_a_major_case__1_4_1_2_4_2_1_1 n39_a_major_case__1_4_1_2_4_2_2_1 P-ROLE n39_a_major_case__1_4_1_2_4_2_2->n39_a_major_case__1_4_1_2_4_2_2_1 n39_a_major_case__1_4_1_2_4_2_2_2 NP n39_a_major_case__1_4_1_2_4_2_2->n39_a_major_case__1_4_1_2_4_2_2_2 n39_a_major_case__1_4_1_2_4_2_2_1->n39_a_major_case__1_4_1_2_4_2_2_1_1 n39_a_major_case__1_4_1_2_4_2_2_2_1 D n39_a_major_case__1_4_1_2_4_2_2_2->n39_a_major_case__1_4_1_2_4_2_2_2_1 n39_a_major_case__1_4_1_2_4_2_2_2_2 NPR n39_a_major_case__1_4_1_2_4_2_2_2->n39_a_major_case__1_4_1_2_4_2_2_2_2 n39_a_major_case__1_4_1_2_4_2_2_2_3 NPR n39_a_major_case__1_4_1_2_4_2_2_2->n39_a_major_case__1_4_1_2_4_2_2_2_3 n39_a_major_case__1_4_1_2_4_2_2_2_1->n39_a_major_case__1_4_1_2_4_2_2_2_1_1 n39_a_major_case__1_4_1_2_4_2_2_2_2->n39_a_major_case__1_4_1_2_4_2_2_2_2_1 n39_a_major_case__1_4_1_2_4_2_2_2_3->n39_a_major_case__1_4_1_2_4_2_2_2_3_1 n39_a_major_case__1_4_1_3->n39_a_major_case__1_4_1_3_1 n39_a_major_case__1_4_1_4_1 BE;_La_ n39_a_major_case__1_4_1_4->n39_a_major_case__1_4_1_4_1 n39_a_major_case__1_4_1_4_2 ADJP-PRD n39_a_major_case__1_4_1_4->n39_a_major_case__1_4_1_4_2 n39_a_major_case__1_4_1_4_1->n39_a_major_case__1_4_1_4_1_1 n39_a_major_case__1_4_1_4_2_1 ADJ n39_a_major_case__1_4_1_4_2->n39_a_major_case__1_4_1_4_2_1 n39_a_major_case__1_4_1_4_2_1->n39_a_major_case__1_4_1_4_2_1_1 n39_a_major_case__1_5->n39_a_major_case__1_5_1 
( (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))


%3 r_0039_0025__be be r_0039_0026__unusual unusual r_0039_0025__be->r_0039_0026__unusual [prd] 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_0019__respect respect r_0039_0013__a_r_0039_0014__finding->r_0039_0019__respect in 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_0024__would would r_0039_0024__would->r_0039_0025__be [scope] 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 r_0039_0011__is is r_0039_0011__is->r_0039_0024__would [prd] r_0039_0002__The_r_0039_0005__argument The argument r_0039_0011__is->r_0039_0002__The_r_0039_0005__argument [arg0] r_0039_0007__drawing drawing r_0039_0002__The_r_0039_0005__argument->r_0039_0007__drawing against r_0039_0004__real real r_0039_0002__The_r_0039_0005__argument->r_0039_0004__real [attrib] r_0039_0003__only only r_0039_0002__The_r_0039_0005__argument->r_0039_0003__only [attrib] r_0039_0009__an_r_0039_0010__inference an inference r_0039_0008__such such r_0039_0009__an_r_0039_0010__inference->r_0039_0008__such [attrib] r_0039_0007__drawing->r_0039_0009__an_r_0039_0010__inference [arg1] z_0039_5006 r_0039_0007__drawing->z_0039_5006 [arg0] 
arc(r_0039_0002__The_r_0039_0005__argument,r_0039_0003__only,attrib).
arc(r_0039_0002__The_r_0039_0005__argument,r_0039_0004__real,attrib).
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_0039_5006,arg0).
arc(r_0039_0009__an_r_0039_0010__inference,r_0039_0008__such,attrib).
arc(r_0039_0011__is,r_0039_0002__The_r_0039_0005__argument,arg0).
arc(r_0039_0011__is,r_0039_0024__would,prd).
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_0024__would,r_0039_0025__be,scope).
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_0039_5006 r_0039_0007__drawing->z_0039_5006 [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_0024__would_r_0039_0025__be would be r_0039_0011__is->r_0039_0024__would_r_0039_0025__be [prd] r_0039_0013__a_r_0039_0014__finding a finding r_0039_0024__would_r_0039_0025__be->r_0039_0013__a_r_0039_0014__finding [arg0] r_0039_0026__unusual unusual 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_0039_0003__ONLY,R_0039_0004__REAL,R_0039_0008__SUCH,R_0039_0009__AN_R_0039_0010__INFERENCE,Z_0039_5006,R_0039_0007__DRAWING,R_0039_0002__THE_R_0039_0005__ARGUMENT,R_0039_0016__THIS_R_0039_0017__KIND,R_0039_0021__A_R_0039_0022__PRIME_R_0039_0023__MINISTER,R_0039_0019__RESPECT,R_0039_0013__A_R_0039_0014__FINDING,R_0039_0026__UNUSUAL,R_0039_0024__WOULD_R_0039_0025__BE,R_0039_0011__IS] :
      ( r_0039_0003__only(R_0039_0003__ONLY)
      & r_0039_0004__real(R_0039_0004__REAL)
      & r_0039_0008__such(R_0039_0008__SUCH)
      & r_0039_0016__this_r_0039_0017__kind(R_0039_0016__THIS_R_0039_0017__KIND)
      & r_0039_0021__a_r_0039_0022__Prime_r_0039_0023__Minister(R_0039_0021__A_R_0039_0022__PRIME_R_0039_0023__MINISTER)
      & r_0039_0026__unusual(R_0039_0026__UNUSUAL)
      & z_0039_5006(Z_0039_5006)
      & r_0039_0011__is(R_0039_0011__IS)
      & has_prd(R_0039_0011__IS,R_0039_0024__WOULD_R_0039_0025__BE)
      & r_0039_0024__would_r_0039_0025__be(R_0039_0024__WOULD_R_0039_0025__BE)
      & has_prd(R_0039_0024__WOULD_R_0039_0025__BE,R_0039_0026__UNUSUAL)
      & has_arg0(R_0039_0024__WOULD_R_0039_0025__BE,R_0039_0013__A_R_0039_0014__FINDING)
      & r_0039_0013__a_r_0039_0014__finding(R_0039_0013__A_R_0039_0014__FINDING)
      & has_r_0039_0018__in(R_0039_0013__A_R_0039_0014__FINDING,R_0039_0019__RESPECT)
      & r_0039_0019__respect(R_0039_0019__RESPECT)
      & has_r_0039_0020__of(R_0039_0019__RESPECT,R_0039_0021__A_R_0039_0022__PRIME_R_0039_0023__MINISTER)
      & has_r_0039_0015__of(R_0039_0013__A_R_0039_0014__FINDING,R_0039_0016__THIS_R_0039_0017__KIND)
      & has_arg0(R_0039_0011__IS,R_0039_0002__THE_R_0039_0005__ARGUMENT)
      & r_0039_0002__The_r_0039_0005__argument(R_0039_0002__THE_R_0039_0005__ARGUMENT)
      & has_r_0039_0006__against(R_0039_0002__THE_R_0039_0005__ARGUMENT,R_0039_0007__DRAWING)
      & r_0039_0007__drawing(R_0039_0007__DRAWING)
      & has_arg0(R_0039_0007__DRAWING,Z_0039_5006)
      & has_arg1(R_0039_0007__DRAWING,R_0039_0009__AN_R_0039_0010__INFERENCE)
      & r_0039_0009__an_r_0039_0010__inference(R_0039_0009__AN_R_0039_0010__INFERENCE)
      & has_attrib(R_0039_0009__AN_R_0039_0010__INFERENCE,R_0039_0008__SUCH)
      & has_attrib(R_0039_0002__THE_R_0039_0005__ARGUMENT,R_0039_0004__REAL)
      & has_attrib(R_0039_0002__THE_R_0039_0005__ARGUMENT,R_0039_0003__ONLY) ) ).