1_a_osaka_statement
Hey everyone , this isn't a situation I ever imagined or intended when I posted a few days ago.
( (IP-MAT (FRM Hey_everyone_,)
(NP-SBJ (D;_nphd_ this;{this}))
(BEP;_Ln_ is;{be})
(NEG;_clitic_ n<apos>t;{not})
(NP-PRD (D a;{a})
(N situation;{situation})
(IP-REL (NP-OB1 *T*)
(NP-SBJ (PRO I;{I}))
(ADVP-NIM (ADV ever;{ever}))
(ILYR (ILYR (VBD;_Tn_ imagined;{imagine}))
(CONJP (CONJ or;{or})
(ILYR (VBD;_Tn_ intended;{intend}))))))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_I_ posted;{post})
(ADVP-NIM (NP (D a;{a})
(ADJP (ADJ few;{few}))
(NS days;{day}))
(ADV ago;{ago}))))
(PUNC .))
(ID 1_a_osaka_statement))
arc(r_0001_0003__is,r_0001_0002__this,arg0).
arc(r_0001_0003__is,r_0001_0005__a_r_0001_0006__situation,prd).
arc(r_0001_0004__n_apos_t,r_0001_0003__is,keep_scope).
arc(r_0001_0009__imagined,r_0001_0005__a_r_0001_0006__situation,inv_arg1).
arc(r_0001_0009__imagined,r_0001_0007__I,arg0).
arc(r_0001_0009__imagined,r_0001_0008__ever,nim).
arc(r_0001_0010__or,r_0001_0009__imagined,conj1).
arc(r_0001_0010__or,r_0001_0011__intended,conj2).
arc(r_0001_0011__intended,r_0001_0005__a_r_0001_0006__situation,inv_arg1).
arc(r_0001_0011__intended,r_0001_0007__I,arg0).
arc(r_0001_0011__intended,r_0001_0008__ever,nim).
arc(r_0001_0012__when,r_0001_0004__n_apos_t,scope).
arc(r_0001_0012__when,r_0001_0014__posted,restriction).
arc(r_0001_0014__posted,r_0001_0007__I,arg0).
arc(r_0001_0014__posted,r_0001_0018__ago,nim).
arc(r_0001_0015__a_r_0001_0017__days,r_0001_0016__few,attrib).
arc(r_0001_0018__ago,r_0001_0015__a_r_0001_0017__days,nim).
fof(formula,axiom,
? [R_0001_0007__I,R_0001_0008__EVER,R_0001_0009__IMAGINED,R_0001_0011__INTENDED,R_0001_0010__OR] :
( r_0001_0007__I(R_0001_0007__I)
& r_0001_0008__ever(R_0001_0008__EVER)
& ! [R_0001_0014__POSTED,R_0001_0016__FEW,R_0001_0015__A_R_0001_0017__DAYS,R_0001_0018__AGO] :
( ( r_0001_0016__few(R_0001_0016__FEW)
& r_0001_0014__posted(R_0001_0014__POSTED)
& has_nim(R_0001_0014__POSTED,R_0001_0018__AGO)
& r_0001_0018__ago(R_0001_0018__AGO)
& has_nim(R_0001_0018__AGO,R_0001_0015__A_R_0001_0017__DAYS)
& r_0001_0015__a_r_0001_0017__days(R_0001_0015__A_R_0001_0017__DAYS)
& has_attrib(R_0001_0015__A_R_0001_0017__DAYS,R_0001_0016__FEW)
& has_arg0(R_0001_0014__POSTED,R_0001_0007__I) )
=> ~ ? [R_0001_0002__THIS,R_0001_0005__A_R_0001_0006__SITUATION,R_0001_0003__IS] :
( r_0001_0002__this(R_0001_0002__THIS)
& r_0001_0003__is(R_0001_0003__IS)
& has_prd(R_0001_0003__IS,R_0001_0005__A_R_0001_0006__SITUATION)
& r_0001_0005__a_r_0001_0006__situation(R_0001_0005__A_R_0001_0006__SITUATION)
& has_inv_arg1(R_0001_0005__A_R_0001_0006__SITUATION,R_0001_0011__INTENDED)
& has_inv_arg1(R_0001_0005__A_R_0001_0006__SITUATION,R_0001_0009__IMAGINED)
& has_arg0(R_0001_0003__IS,R_0001_0002__THIS) ) )
& r_0001_0010__or(R_0001_0010__OR)
& has_conj2(R_0001_0010__OR,R_0001_0011__INTENDED)
& r_0001_0011__intended(R_0001_0011__INTENDED)
& has_nim(R_0001_0011__INTENDED,R_0001_0008__EVER)
& has_arg0(R_0001_0011__INTENDED,R_0001_0007__I)
& has_conj1(R_0001_0010__OR,R_0001_0009__IMAGINED)
& r_0001_0009__imagined(R_0001_0009__IMAGINED)
& has_nim(R_0001_0009__IMAGINED,R_0001_0008__EVER)
& has_arg0(R_0001_0009__IMAGINED,R_0001_0007__I) ) ).