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.
( (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))
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,attrib).
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,attrib).
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__nim).
arc(r_0034_0013__if,r_0034_0012__is,scope).
arc(r_0034_0013__if,z_0034_5014,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_0034_5014,r_0034_0014__anything,prd).
arc(z_0034_5014,z_0034_5013,arg0).
fof(formula,axiom,
! [Z_0034_5014,R_0034_0014__ANYTHING,Z_0034_5013] :
( ( r_0034_0014__anything(R_0034_0014__ANYTHING)
& z_0034_5013(Z_0034_5013)
& z_0034_5014(Z_0034_5014)
& has_arg0(Z_0034_5014,Z_0034_5013)
& has_prd(Z_0034_5014,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__nim(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_attrib(R_0034_0009__THE_R_0034_0011__CASE,R_0034_0010__PRESENT)
& has_attrib(R_0034_0006__AN_R_0034_0007__INFERENCE,R_0034_0005__SUCH) ) ) ).