11_a_kyoto_1
There are many works that even experts can not agree if they are really his work or not.
( (IP-MAT (EX There;{there})
(BEP;_ex_V_ are;{be})
(NP-ESBJ;{WORKS} (ADJP (ADJ many;{many}))
(NS works;{work})
(IP-REL (C that;{that})
(NP-DSC *T*)
(ADVP-NIM (ADV even;{even}))
(NP-SBJ (NS experts;{expert}))
(MD;_cat_Vi_ can;{can})
(NEG not;{not})
(IP-INF-CAT (VB;_Tw_ agree;{agree})
(CP-QUE-OB1 (IP-SUB (WQ if;{if})
(ILYR (ILYR (NP-SBJ;{WORKS} (PRO they;{they}))
(BEP;_Ln_ are;{be})
(ADVP-NIM (ADV really;{really}))
(NP-PRD (NP-GEN;{SESSHU} (PRO;_genm_ his;{his}))
(N work;{work})))
(CONJP (CONJ or;{or})
(ILYR (NEG not;{not})))))))))
(PUNC .))
(ID 11_a_kyoto_1;BDS_00001;11))
arc(r_0011_0002__are,r_0011_0004__works,arg0).
arc(r_0011_0004__works,r_0011_0003__many,attrib).
arc(r_0011_0008__can,r_0011_0006__even,nim).
arc(r_0011_0008__can,r_0011_0010__agree,scope).
arc(r_0011_0009__not,r_0011_0008__can,keep_scope).
arc(r_0011_0010__agree,r_0011_0007__experts,arg0).
arc(r_0011_0010__agree,r_0011_0011__if,arg1).
arc(r_0011_0011__if,r_0011_0017__or,keep_scope).
arc(r_0011_0013__are,r_0011_0004__works,arg0).
arc(r_0011_0013__are,r_0011_0014__really,nim).
arc(r_0011_0013__are,r_0011_0016__work,prd).
arc(r_0011_0016__work,r_0011_0015__his,gen).
arc(r_0011_0017__or,r_0011_0013__are,conj1).
arc(r_0011_0017__or,r_0011_0018__not,conj2).
arc(r_0011_0018__not,z_0011_5013,keep_scope).
fof(formula,axiom,
? [R_0011_0003__MANY,R_0011_0004__WORKS,R_0011_0002__ARE] :
( r_0011_0003__many(R_0011_0003__MANY)
& ~ ? [R_0011_0006__EVEN,R_0011_0007__EXPERTS,R_0011_0014__REALLY,R_0011_0015__HIS,R_0011_0016__WORK,R_0011_0013__ARE,R_0011_0017__OR,R_0011_0011__IF,R_0011_0008__CAN_R_0011_0010__AGREE] :
( r_0011_0006__even(R_0011_0006__EVEN)
& r_0011_0007__experts(R_0011_0007__EXPERTS)
& r_0011_0014__really(R_0011_0014__REALLY)
& r_0011_0015__his(R_0011_0015__HIS)
& r_0011_0008__can_r_0011_0010__agree(R_0011_0008__CAN_R_0011_0010__AGREE)
& has_arg1(R_0011_0008__CAN_R_0011_0010__AGREE,R_0011_0011__IF)
& r_0011_0011__if(R_0011_0011__IF)
& has_keep_scope(R_0011_0011__IF,R_0011_0017__OR)
& r_0011_0017__or(R_0011_0017__OR)
& has_conj2(R_0011_0017__OR,R_0011_0018__NOT)
& ~ ? [Z_0011_5013] : z_0011_5013(Z_0011_5013)
& has_conj1(R_0011_0017__OR,R_0011_0013__ARE)
& r_0011_0013__are(R_0011_0013__ARE)
& has_prd(R_0011_0013__ARE,R_0011_0016__WORK)
& r_0011_0016__work(R_0011_0016__WORK)
& has_gen(R_0011_0016__WORK,R_0011_0015__HIS)
& has_nim(R_0011_0013__ARE,R_0011_0014__REALLY)
& has_arg0(R_0011_0013__ARE,R_0011_0004__WORKS)
& has_arg0(R_0011_0008__CAN_R_0011_0010__AGREE,R_0011_0007__EXPERTS)
& has_nim(R_0011_0008__CAN_R_0011_0010__AGREE,R_0011_0006__EVEN) )
& r_0011_0002__are(R_0011_0002__ARE)
& has_arg0(R_0011_0002__ARE,R_0011_0004__WORKS)
& r_0011_0004__works(R_0011_0004__WORKS)
& has_attrib(R_0011_0004__WORKS,R_0011_0003__MANY) ) ).