14_a_wsj_1640
Still, encrypting corporate communications is only a partial remedy.
arc(r_0014_0003__encrypting, r_0014_0005__communications, arg1).
arc(r_0014_0003__encrypting, z_000_14_a_wsj_1640_7, arg0).
arc(r_0014_0005__communications, r_0014_0004__corporate, attrib11).
arc(r_0014_0006__is, r_0014_0001__Still, nim2).
arc(r_0014_0006__is, r_0014_0003__encrypting, arg0).
arc(r_0014_0006__is, r_0014_0007__only, nim18).
arc(r_0014_0006__is, r_0014_0008__a_r_0014_0010__remedy, prd).
arc(r_0014_0008__a_r_0014_0010__remedy, r_0014_0009__partial, attrib24).
fof(formula,axiom,
? [R_14_6_IS,R_14_3_ENCRYPTING,Z_14_A_WSJ_1640_7,R_14_5_COMMUNICATIONS,R_14_4_CORPORATE,R_14_7_ONLY,R_14_1_STILL,R_14_8_A_REMEDY,R_14_9_PARTIAL] :
( corporate(R_14_4_CORPORATE)
& only(R_14_7_ONLY)
& still(R_14_1_STILL)
& partial(R_14_9_PARTIAL)
& is(R_14_6_IS,R_14_3_ENCRYPTING,R_14_8_A_REMEDY)
& encrypting(R_14_3_ENCRYPTING,Z_14_A_WSJ_1640_7,R_14_5_COMMUNICATIONS)
& communications(R_14_5_COMMUNICATIONS)
& attrib11(R_14_5_COMMUNICATIONS,R_14_4_CORPORATE)
& a_remedy(R_14_8_A_REMEDY)
& attrib24(R_14_8_A_REMEDY,R_14_9_PARTIAL)
& nim18(R_14_6_IS,R_14_7_ONLY)
& nim2(R_14_6_IS,R_14_1_STILL) ) ).
( (IP-MAT (ADVP-NIM (ADV Still;{still}))
(PUNC ,)
(IP-PPL-SBJ (VAG;_Tn_ encrypting;{encrypt})
(NP-OB1 (ADJP (ADJ corporate;{corporate}))
(NS communications;{communication})))
(BEP;_Ln_ is;{be})
(ADVP-NIM (ADV only;{only}))
(NP-PRD (D a;{a})
(ADJP (ADJ partial;{partial}))
(N remedy;{remedy}))
(PUNC .))
(ID 14_a_wsj_1640))