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_0014_0001__STILL,R_0014_0004__CORPORATE,R_0014_0005__COMMUNICATIONS,Z_000_14_A_WSJ_1640_7,R_0014_0003__ENCRYPTING,R_0014_0007__ONLY,R_0014_0009__PARTIAL,R_0014_0008__A_R_0014_0010__REMEDY,R_0014_0006__IS] :
( r_0014_0001__Still(R_0014_0001__STILL)
& r_0014_0004__corporate(R_0014_0004__CORPORATE)
& r_0014_0007__only(R_0014_0007__ONLY)
& r_0014_0009__partial(R_0014_0009__PARTIAL)
& z_000_14_a_wsj_1640_7(Z_000_14_A_WSJ_1640_7)
& r_0014_0006__is(R_0014_0006__IS)
& has_prd(R_0014_0006__IS,R_0014_0008__A_R_0014_0010__REMEDY)
& r_0014_0008__a_r_0014_0010__remedy(R_0014_0008__A_R_0014_0010__REMEDY)
& has_attrib24(R_0014_0008__A_R_0014_0010__REMEDY,R_0014_0009__PARTIAL)
& has_nim18(R_0014_0006__IS,R_0014_0007__ONLY)
& has_arg0(R_0014_0006__IS,R_0014_0003__ENCRYPTING)
& r_0014_0003__encrypting(R_0014_0003__ENCRYPTING)
& has_arg0(R_0014_0003__ENCRYPTING,Z_000_14_A_WSJ_1640_7)
& has_arg1(R_0014_0003__ENCRYPTING,R_0014_0005__COMMUNICATIONS)
& r_0014_0005__communications(R_0014_0005__COMMUNICATIONS)
& has_attrib11(R_0014_0005__COMMUNICATIONS,R_0014_0004__CORPORATE)
& has_nim2(R_0014_0006__IS,R_0014_0001__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))