Context                Previous, Next                Top


34_a_major_case
17. The scope for such an inference in the present case is if anything greater in view of the requirements of the duty of candour.

%3 r_0034_0002__The_r_0034_0003__scope The [scope] r_0034_0006__an_r_0034_0007__inference an inference r_0034_0002__The_r_0034_0003__scope->r_0034_0006__an_r_0034_0007__inference for r_0034_0005__such such r_0034_0006__an_r_0034_0007__inference->r_0034_0005__such [attrib] r_0034_0009__the_r_0034_0011__case the case r_0034_0006__an_r_0034_0007__inference->r_0034_0009__the_r_0034_0011__case in r_0034_0010__present present r_0034_0009__the_r_0034_0011__case->r_0034_0010__present [attrib] r_0034_0012__is is r_0034_0012__is->r_0034_0002__The_r_0034_0003__scope [arg0] r_0034_0015__greater greater r_0034_0012__is->r_0034_0015__greater [prd] r_0034_0017__view view r_0034_0012__is->r_0034_0017__view in [nim] r_0034_0019__the_r_0034_0020__requirements the requirements r_0034_0017__view->r_0034_0019__the_r_0034_0020__requirements of r_0034_0013__if if r_0034_0013__if->r_0034_0012__is [scope] z_000_34_a_major_case_37 r_0034_0013__if->z_000_34_a_major_case_37 [restriction] r_0034_0014__anything anything z_000_34_a_major_case_37->r_0034_0014__anything [prd] r_0034_0022__the_r_0034_0023__duty the duty r_0034_0019__the_r_0034_0020__requirements->r_0034_0022__the_r_0034_0023__duty of r_0034_0025__candour candour r_0034_0022__the_r_0034_0023__duty->r_0034_0025__candour of 
arc(r_0034_0002__The_r_0034_0003__scope, r_0034_0006__an_r_0034_0007__inference, r_0034_0004__for).
arc(r_0034_0006__an_r_0034_0007__inference, r_0034_0005__such, attrib14).
arc(r_0034_0006__an_r_0034_0007__inference, r_0034_0009__the_r_0034_0011__case, r_0034_0008__in).
arc(r_0034_0009__the_r_0034_0011__case, r_0034_0010__present, attrib27).
arc(r_0034_0012__is, r_0034_0002__The_r_0034_0003__scope, arg0).
arc(r_0034_0012__is, r_0034_0015__greater, prd).
arc(r_0034_0012__is, r_0034_0017__view, r_0034_0016__in_nim47).
arc(r_0034_0013__if, r_0034_0012__is, scope).
arc(r_0034_0013__if, z_000_34_a_major_case_37, restriction).
arc(r_0034_0017__view, r_0034_0019__the_r_0034_0020__requirements, r_0034_0018__of).
arc(r_0034_0019__the_r_0034_0020__requirements, r_0034_0022__the_r_0034_0023__duty, r_0034_0021__of).
arc(r_0034_0022__the_r_0034_0023__duty, r_0034_0025__candour, r_0034_0024__of).
arc(z_000_34_a_major_case_37, r_0034_0014__anything, prd).


%3 z_000_34_a_major_case_37 r_0034_0014__anything anything z_000_34_a_major_case_37->r_0034_0014__anything [prd] r_0034_0022__the_r_0034_0023__duty the duty r_0034_0025__candour candour r_0034_0022__the_r_0034_0023__duty->r_0034_0025__candour of r_0034_0019__the_r_0034_0020__requirements the requirements r_0034_0019__the_r_0034_0020__requirements->r_0034_0022__the_r_0034_0023__duty of r_0034_0017__view view r_0034_0017__view->r_0034_0019__the_r_0034_0020__requirements of r_0034_0013__if if r_0034_0013__if->z_000_34_a_major_case_37 [restriction] r_0034_0012__is is r_0034_0013__if->r_0034_0012__is [scope] r_0034_0012__is->r_0034_0017__view in [nim] r_0034_0015__greater greater r_0034_0012__is->r_0034_0015__greater [prd] r_0034_0002__The_r_0034_0003__scope The [scope] r_0034_0012__is->r_0034_0002__The_r_0034_0003__scope [arg0] r_0034_0006__an_r_0034_0007__inference an inference r_0034_0002__The_r_0034_0003__scope->r_0034_0006__an_r_0034_0007__inference for r_0034_0009__the_r_0034_0011__case the case r_0034_0010__present present r_0034_0009__the_r_0034_0011__case->r_0034_0010__present [attrib] r_0034_0006__an_r_0034_0007__inference->r_0034_0009__the_r_0034_0011__case in r_0034_0005__such such r_0034_0006__an_r_0034_0007__inference->r_0034_0005__such [attrib] 
fof(formula,axiom,
    ! [Z_000_34_A_MAJOR_CASE_37,R_0034_0014__ANYTHING] :
      ( ( r_0034_0014__anything(R_0034_0014__ANYTHING)
        & z_000_34_a_major_case_37(Z_000_34_A_MAJOR_CASE_37)
        & has_prd(Z_000_34_A_MAJOR_CASE_37,R_0034_0014__ANYTHING) )
     => ? [R_0034_0005__SUCH,R_0034_0010__PRESENT,R_0034_0009__THE_R_0034_0011__CASE,R_0034_0006__AN_R_0034_0007__INFERENCE,R_0034_0002__THE_R_0034_0003__SCOPE,R_0034_0015__GREATER,R_0034_0025__CANDOUR,R_0034_0022__THE_R_0034_0023__DUTY,R_0034_0019__THE_R_0034_0020__REQUIREMENTS,R_0034_0017__VIEW,R_0034_0012__IS] :
          ( r_0034_0005__such(R_0034_0005__SUCH)
          & r_0034_0010__present(R_0034_0010__PRESENT)
          & r_0034_0015__greater(R_0034_0015__GREATER)
          & r_0034_0025__candour(R_0034_0025__CANDOUR)
          & r_0034_0012__is(R_0034_0012__IS)
          & has_r_0034_0016__in_nim47(R_0034_0012__IS,R_0034_0017__VIEW)
          & r_0034_0017__view(R_0034_0017__VIEW)
          & has_r_0034_0018__of(R_0034_0017__VIEW,R_0034_0019__THE_R_0034_0020__REQUIREMENTS)
          & r_0034_0019__the_r_0034_0020__requirements(R_0034_0019__THE_R_0034_0020__REQUIREMENTS)
          & has_r_0034_0021__of(R_0034_0019__THE_R_0034_0020__REQUIREMENTS,R_0034_0022__THE_R_0034_0023__DUTY)
          & r_0034_0022__the_r_0034_0023__duty(R_0034_0022__THE_R_0034_0023__DUTY)
          & has_r_0034_0024__of(R_0034_0022__THE_R_0034_0023__DUTY,R_0034_0025__CANDOUR)
          & has_prd(R_0034_0012__IS,R_0034_0015__GREATER)
          & has_arg0(R_0034_0012__IS,R_0034_0002__THE_R_0034_0003__SCOPE)
          & r_0034_0002__The_r_0034_0003__scope(R_0034_0002__THE_R_0034_0003__SCOPE)
          & has_r_0034_0004__for(R_0034_0002__THE_R_0034_0003__SCOPE,R_0034_0006__AN_R_0034_0007__INFERENCE)
          & r_0034_0006__an_r_0034_0007__inference(R_0034_0006__AN_R_0034_0007__INFERENCE)
          & has_r_0034_0008__in(R_0034_0006__AN_R_0034_0007__INFERENCE,R_0034_0009__THE_R_0034_0011__CASE)
          & r_0034_0009__the_r_0034_0011__case(R_0034_0009__THE_R_0034_0011__CASE)
          & has_attrib27(R_0034_0009__THE_R_0034_0011__CASE,R_0034_0010__PRESENT)
          & has_attrib14(R_0034_0006__AN_R_0034_0007__INFERENCE,R_0034_0005__SUCH) ) ) ).


n34_a_major_case n34_a_major_case__1_1_1_1 17. n34_a_major_case__1_2_1_1 The n34_a_major_case__1_2_2_1 scope n34_a_major_case__1_2_3_1_1 for n34_a_major_case__1_2_3_2_1_1_1 such n34_a_major_case__1_2_3_2_2_1 an n34_a_major_case__1_2_3_2_3_1 inference n34_a_major_case__1_2_3_2_4_1_1 in n34_a_major_case__1_2_3_2_4_2_1_1 the n34_a_major_case__1_2_3_2_4_2_2_1_1 present n34_a_major_case__1_2_3_2_4_2_3_1 case n34_a_major_case__1_3_1 is n34_a_major_case__1_4_1_1 if n34_a_major_case__1_4_2_1_1_1 anything n34_a_major_case__1_5_1_1 greater n34_a_major_case__1_6_1_1 in n34_a_major_case__1_6_2_1_1 view n34_a_major_case__1_6_2_2_1_1 of n34_a_major_case__1_6_2_2_2_1_1 the n34_a_major_case__1_6_2_2_2_2_1 requirements n34_a_major_case__1_6_2_2_2_3_1_1 of n34_a_major_case__1_6_2_2_2_3_2_1_1 the n34_a_major_case__1_6_2_2_2_3_2_2_1 duty n34_a_major_case__1_6_2_2_2_3_2_3_1_1 of n34_a_major_case__1_6_2_2_2_3_2_3_2_1_1 candour n34_a_major_case__1_7_1 . n34_a_major_case__1 IP-MAT n34_a_major_case__1_1 LST n34_a_major_case__1->n34_a_major_case__1_1 n34_a_major_case__1_2 NP-SBJ n34_a_major_case__1->n34_a_major_case__1_2 n34_a_major_case__1_3 BEP;_La_ n34_a_major_case__1->n34_a_major_case__1_3 n34_a_major_case__1_4 PP-SCON n34_a_major_case__1->n34_a_major_case__1_4 n34_a_major_case__1_5 ADJP-PRD n34_a_major_case__1->n34_a_major_case__1_5 n34_a_major_case__1_6 PP-NIM n34_a_major_case__1->n34_a_major_case__1_6 n34_a_major_case__1_7 PUNC n34_a_major_case__1->n34_a_major_case__1_7 n34_a_major_case__1_1_1 LS n34_a_major_case__1_1->n34_a_major_case__1_1_1 n34_a_major_case__1_1_1->n34_a_major_case__1_1_1_1 n34_a_major_case__1_2_1 D n34_a_major_case__1_2->n34_a_major_case__1_2_1 n34_a_major_case__1_2_2 N n34_a_major_case__1_2->n34_a_major_case__1_2_2 n34_a_major_case__1_2_3 PP n34_a_major_case__1_2->n34_a_major_case__1_2_3 n34_a_major_case__1_2_1->n34_a_major_case__1_2_1_1 n34_a_major_case__1_2_2->n34_a_major_case__1_2_2_1 n34_a_major_case__1_2_3_1 P-ROLE n34_a_major_case__1_2_3->n34_a_major_case__1_2_3_1 n34_a_major_case__1_2_3_2 NP n34_a_major_case__1_2_3->n34_a_major_case__1_2_3_2 n34_a_major_case__1_2_3_1->n34_a_major_case__1_2_3_1_1 n34_a_major_case__1_2_3_2_1 ADJP n34_a_major_case__1_2_3_2->n34_a_major_case__1_2_3_2_1 n34_a_major_case__1_2_3_2_2 D n34_a_major_case__1_2_3_2->n34_a_major_case__1_2_3_2_2 n34_a_major_case__1_2_3_2_3 N n34_a_major_case__1_2_3_2->n34_a_major_case__1_2_3_2_3 n34_a_major_case__1_2_3_2_4 PP n34_a_major_case__1_2_3_2->n34_a_major_case__1_2_3_2_4 n34_a_major_case__1_2_3_2_1_1 ADJ;_such_ n34_a_major_case__1_2_3_2_1->n34_a_major_case__1_2_3_2_1_1 n34_a_major_case__1_2_3_2_1_1->n34_a_major_case__1_2_3_2_1_1_1 n34_a_major_case__1_2_3_2_2->n34_a_major_case__1_2_3_2_2_1 n34_a_major_case__1_2_3_2_3->n34_a_major_case__1_2_3_2_3_1 n34_a_major_case__1_2_3_2_4_1 P-ROLE n34_a_major_case__1_2_3_2_4->n34_a_major_case__1_2_3_2_4_1 n34_a_major_case__1_2_3_2_4_2 NP n34_a_major_case__1_2_3_2_4->n34_a_major_case__1_2_3_2_4_2 n34_a_major_case__1_2_3_2_4_1->n34_a_major_case__1_2_3_2_4_1_1 n34_a_major_case__1_2_3_2_4_2_1 D n34_a_major_case__1_2_3_2_4_2->n34_a_major_case__1_2_3_2_4_2_1 n34_a_major_case__1_2_3_2_4_2_2 ADJP n34_a_major_case__1_2_3_2_4_2->n34_a_major_case__1_2_3_2_4_2_2 n34_a_major_case__1_2_3_2_4_2_3 N n34_a_major_case__1_2_3_2_4_2->n34_a_major_case__1_2_3_2_4_2_3 n34_a_major_case__1_2_3_2_4_2_1->n34_a_major_case__1_2_3_2_4_2_1_1 n34_a_major_case__1_2_3_2_4_2_2_1 ADJ n34_a_major_case__1_2_3_2_4_2_2->n34_a_major_case__1_2_3_2_4_2_2_1 n34_a_major_case__1_2_3_2_4_2_2_1->n34_a_major_case__1_2_3_2_4_2_2_1_1 n34_a_major_case__1_2_3_2_4_2_3->n34_a_major_case__1_2_3_2_4_2_3_1 n34_a_major_case__1_3->n34_a_major_case__1_3_1 n34_a_major_case__1_4_1 P-CONN n34_a_major_case__1_4->n34_a_major_case__1_4_1 n34_a_major_case__1_4_2 IP-ADV n34_a_major_case__1_4->n34_a_major_case__1_4_2 n34_a_major_case__1_4_1->n34_a_major_case__1_4_1_1 n34_a_major_case__1_4_2_1 NP-PRD n34_a_major_case__1_4_2->n34_a_major_case__1_4_2_1 n34_a_major_case__1_4_2_1_1 D;_nphd_ n34_a_major_case__1_4_2_1->n34_a_major_case__1_4_2_1_1 n34_a_major_case__1_4_2_1_1->n34_a_major_case__1_4_2_1_1_1 n34_a_major_case__1_5_1 ADJR n34_a_major_case__1_5->n34_a_major_case__1_5_1 n34_a_major_case__1_5_1->n34_a_major_case__1_5_1_1 n34_a_major_case__1_6_1 P-ROLE n34_a_major_case__1_6->n34_a_major_case__1_6_1 n34_a_major_case__1_6_2 NP n34_a_major_case__1_6->n34_a_major_case__1_6_2 n34_a_major_case__1_6_1->n34_a_major_case__1_6_1_1 n34_a_major_case__1_6_2_1 N n34_a_major_case__1_6_2->n34_a_major_case__1_6_2_1 n34_a_major_case__1_6_2_2 PP n34_a_major_case__1_6_2->n34_a_major_case__1_6_2_2 n34_a_major_case__1_6_2_1->n34_a_major_case__1_6_2_1_1 n34_a_major_case__1_6_2_2_1 P-ROLE n34_a_major_case__1_6_2_2->n34_a_major_case__1_6_2_2_1 n34_a_major_case__1_6_2_2_2 NP n34_a_major_case__1_6_2_2->n34_a_major_case__1_6_2_2_2 n34_a_major_case__1_6_2_2_1->n34_a_major_case__1_6_2_2_1_1 n34_a_major_case__1_6_2_2_2_1 D n34_a_major_case__1_6_2_2_2->n34_a_major_case__1_6_2_2_2_1 n34_a_major_case__1_6_2_2_2_2 NS n34_a_major_case__1_6_2_2_2->n34_a_major_case__1_6_2_2_2_2 n34_a_major_case__1_6_2_2_2_3 PP n34_a_major_case__1_6_2_2_2->n34_a_major_case__1_6_2_2_2_3 n34_a_major_case__1_6_2_2_2_1->n34_a_major_case__1_6_2_2_2_1_1 n34_a_major_case__1_6_2_2_2_2->n34_a_major_case__1_6_2_2_2_2_1 n34_a_major_case__1_6_2_2_2_3_1 P-ROLE n34_a_major_case__1_6_2_2_2_3->n34_a_major_case__1_6_2_2_2_3_1 n34_a_major_case__1_6_2_2_2_3_2 NP n34_a_major_case__1_6_2_2_2_3->n34_a_major_case__1_6_2_2_2_3_2 n34_a_major_case__1_6_2_2_2_3_1->n34_a_major_case__1_6_2_2_2_3_1_1 n34_a_major_case__1_6_2_2_2_3_2_1 D n34_a_major_case__1_6_2_2_2_3_2->n34_a_major_case__1_6_2_2_2_3_2_1 n34_a_major_case__1_6_2_2_2_3_2_2 N n34_a_major_case__1_6_2_2_2_3_2->n34_a_major_case__1_6_2_2_2_3_2_2 n34_a_major_case__1_6_2_2_2_3_2_3 PP n34_a_major_case__1_6_2_2_2_3_2->n34_a_major_case__1_6_2_2_2_3_2_3 n34_a_major_case__1_6_2_2_2_3_2_1->n34_a_major_case__1_6_2_2_2_3_2_1_1 n34_a_major_case__1_6_2_2_2_3_2_2->n34_a_major_case__1_6_2_2_2_3_2_2_1 n34_a_major_case__1_6_2_2_2_3_2_3_1 P-ROLE n34_a_major_case__1_6_2_2_2_3_2_3->n34_a_major_case__1_6_2_2_2_3_2_3_1 n34_a_major_case__1_6_2_2_2_3_2_3_2 NP n34_a_major_case__1_6_2_2_2_3_2_3->n34_a_major_case__1_6_2_2_2_3_2_3_2 n34_a_major_case__1_6_2_2_2_3_2_3_1->n34_a_major_case__1_6_2_2_2_3_2_3_1_1 n34_a_major_case__1_6_2_2_2_3_2_3_2_1 N n34_a_major_case__1_6_2_2_2_3_2_3_2->n34_a_major_case__1_6_2_2_2_3_2_3_2_1 n34_a_major_case__1_6_2_2_2_3_2_3_2_1->n34_a_major_case__1_6_2_2_2_3_2_3_2_1_1 n34_a_major_case__1_7->n34_a_major_case__1_7_1 
( (IP-MAT (LST (LS 17<dot>))
          (NP-SBJ (D The;{the})
                  (N scope;{scope})
                  (PP (P-ROLE for;{for})
                      (NP (ADJP (ADJ;_such_ such;{such}))
                          (D an;{an})
                          (N inference;{inference})
                          (PP (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (ADJP (ADJ present;{present}))
                                  (N case;{case}))))))
          (BEP;_La_ is;{be})
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-PRD (D;_nphd_ anything;{anything}))))
          (ADJP-PRD (ADJR greater;{great}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (N view;{view})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (NS requirements;{requirement})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N duty;{duty})
                                      (PP (P-ROLE of;{of})
                                          (NP (N candour;{candour})))))))))
          (PUNC .))
  (ID 34_a_major_case))