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 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 
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_4 17. n34_a_major_case_7 The n34_a_major_case_9 scope n34_a_major_case_12 for n34_a_major_case_16 such n34_a_major_case_18 an n34_a_major_case_20 inference n34_a_major_case_23 in n34_a_major_case_26 the n34_a_major_case_29 present n34_a_major_case_31 case n34_a_major_case_33 is n34_a_major_case_36 if n34_a_major_case_40 anything n34_a_major_case_43 greater n34_a_major_case_46 in n34_a_major_case_49 view n34_a_major_case_52 of n34_a_major_case_55 the n34_a_major_case_57 requirements n34_a_major_case_60 of n34_a_major_case_63 the n34_a_major_case_65 duty n34_a_major_case_68 of n34_a_major_case_71 candour n34_a_major_case_73 . n34_a_major_case_1 IP-MAT n34_a_major_case_2 LST n34_a_major_case_1->n34_a_major_case_2 n34_a_major_case_5 NP-SBJ n34_a_major_case_1->n34_a_major_case_5 n34_a_major_case_32 BEP;_La_ n34_a_major_case_1->n34_a_major_case_32 n34_a_major_case_34 PP-SCON n34_a_major_case_1->n34_a_major_case_34 n34_a_major_case_41 ADJP-PRD n34_a_major_case_1->n34_a_major_case_41 n34_a_major_case_44 PP-NIM n34_a_major_case_1->n34_a_major_case_44 n34_a_major_case_72 PUNC n34_a_major_case_1->n34_a_major_case_72 n34_a_major_case_3 LS n34_a_major_case_2->n34_a_major_case_3 n34_a_major_case_3->n34_a_major_case_4 n34_a_major_case_6 D n34_a_major_case_5->n34_a_major_case_6 n34_a_major_case_8 N n34_a_major_case_5->n34_a_major_case_8 n34_a_major_case_10 PP n34_a_major_case_5->n34_a_major_case_10 n34_a_major_case_6->n34_a_major_case_7 n34_a_major_case_8->n34_a_major_case_9 n34_a_major_case_11 P-ROLE n34_a_major_case_10->n34_a_major_case_11 n34_a_major_case_13 NP n34_a_major_case_10->n34_a_major_case_13 n34_a_major_case_11->n34_a_major_case_12 n34_a_major_case_14 ADJP n34_a_major_case_13->n34_a_major_case_14 n34_a_major_case_17 D n34_a_major_case_13->n34_a_major_case_17 n34_a_major_case_19 N n34_a_major_case_13->n34_a_major_case_19 n34_a_major_case_21 PP n34_a_major_case_13->n34_a_major_case_21 n34_a_major_case_15 ADJ;_such_ n34_a_major_case_14->n34_a_major_case_15 n34_a_major_case_15->n34_a_major_case_16 n34_a_major_case_17->n34_a_major_case_18 n34_a_major_case_19->n34_a_major_case_20 n34_a_major_case_22 P-ROLE n34_a_major_case_21->n34_a_major_case_22 n34_a_major_case_24 NP n34_a_major_case_21->n34_a_major_case_24 n34_a_major_case_22->n34_a_major_case_23 n34_a_major_case_25 D n34_a_major_case_24->n34_a_major_case_25 n34_a_major_case_27 ADJP n34_a_major_case_24->n34_a_major_case_27 n34_a_major_case_30 N n34_a_major_case_24->n34_a_major_case_30 n34_a_major_case_25->n34_a_major_case_26 n34_a_major_case_28 ADJ n34_a_major_case_27->n34_a_major_case_28 n34_a_major_case_28->n34_a_major_case_29 n34_a_major_case_30->n34_a_major_case_31 n34_a_major_case_32->n34_a_major_case_33 n34_a_major_case_35 P-CONN n34_a_major_case_34->n34_a_major_case_35 n34_a_major_case_37 IP-ADV n34_a_major_case_34->n34_a_major_case_37 n34_a_major_case_35->n34_a_major_case_36 n34_a_major_case_38 NP-PRD n34_a_major_case_37->n34_a_major_case_38 n34_a_major_case_39 D;_nphd_ n34_a_major_case_38->n34_a_major_case_39 n34_a_major_case_39->n34_a_major_case_40 n34_a_major_case_42 ADJR n34_a_major_case_41->n34_a_major_case_42 n34_a_major_case_42->n34_a_major_case_43 n34_a_major_case_45 P-ROLE n34_a_major_case_44->n34_a_major_case_45 n34_a_major_case_47 NP n34_a_major_case_44->n34_a_major_case_47 n34_a_major_case_45->n34_a_major_case_46 n34_a_major_case_48 N n34_a_major_case_47->n34_a_major_case_48 n34_a_major_case_50 PP n34_a_major_case_47->n34_a_major_case_50 n34_a_major_case_48->n34_a_major_case_49 n34_a_major_case_51 P-ROLE n34_a_major_case_50->n34_a_major_case_51 n34_a_major_case_53 NP n34_a_major_case_50->n34_a_major_case_53 n34_a_major_case_51->n34_a_major_case_52 n34_a_major_case_54 D n34_a_major_case_53->n34_a_major_case_54 n34_a_major_case_56 NS n34_a_major_case_53->n34_a_major_case_56 n34_a_major_case_58 PP n34_a_major_case_53->n34_a_major_case_58 n34_a_major_case_54->n34_a_major_case_55 n34_a_major_case_56->n34_a_major_case_57 n34_a_major_case_59 P-ROLE n34_a_major_case_58->n34_a_major_case_59 n34_a_major_case_61 NP n34_a_major_case_58->n34_a_major_case_61 n34_a_major_case_59->n34_a_major_case_60 n34_a_major_case_62 D n34_a_major_case_61->n34_a_major_case_62 n34_a_major_case_64 N n34_a_major_case_61->n34_a_major_case_64 n34_a_major_case_66 PP n34_a_major_case_61->n34_a_major_case_66 n34_a_major_case_62->n34_a_major_case_63 n34_a_major_case_64->n34_a_major_case_65 n34_a_major_case_67 P-ROLE n34_a_major_case_66->n34_a_major_case_67 n34_a_major_case_69 NP n34_a_major_case_66->n34_a_major_case_69 n34_a_major_case_67->n34_a_major_case_68 n34_a_major_case_70 N n34_a_major_case_69->n34_a_major_case_70 n34_a_major_case_70->n34_a_major_case_71 n34_a_major_case_72->n34_a_major_case_73 
( (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))