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_34_A_MAJOR_CASE_37,R_34_14_ANYTHING] :
      ( ( anything(R_34_14_ANYTHING)
        & z_34_a_major_case_37(Z_34_A_MAJOR_CASE_37)
        & prd(Z_34_A_MAJOR_CASE_37,R_34_14_ANYTHING) )
     => ? [R_34_12_IS,R_34_2_THE_SCOPE,R_34_6_AN_INFERENCE,R_34_5_SUCH,R_34_9_THE_CASE,R_34_10_PRESENT,R_34_15_GREATER,R_34_17_VIEW,R_34_19_THE_REQUIREMENTS,R_34_22_THE_DUTY,R_34_25_CANDOUR] :
          ( such(R_34_5_SUCH)
          & present(R_34_10_PRESENT)
          & greater(R_34_15_GREATER)
          & candour(R_34_25_CANDOUR)
          & is(R_34_12_IS,R_34_2_THE_SCOPE,R_34_15_GREATER)
          & the_scope(R_34_2_THE_SCOPE)
          & for(R_34_2_THE_SCOPE,R_34_6_AN_INFERENCE)
          & an_inference(R_34_6_AN_INFERENCE)
          & attrib14(R_34_6_AN_INFERENCE,R_34_5_SUCH)
          & in(R_34_6_AN_INFERENCE,R_34_9_THE_CASE)
          & the_case(R_34_9_THE_CASE)
          & attrib27(R_34_9_THE_CASE,R_34_10_PRESENT)
          & in_nim47(R_34_12_IS,R_34_17_VIEW)
          & view(R_34_17_VIEW)
          & of(R_34_17_VIEW,R_34_19_THE_REQUIREMENTS)
          & the_requirements(R_34_19_THE_REQUIREMENTS)
          & of(R_34_19_THE_REQUIREMENTS,R_34_22_THE_DUTY)
          & the_duty(R_34_22_THE_DUTY)
          & of(R_34_22_THE_DUTY,R_34_25_CANDOUR) ) ) ).


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