1_a_stuck_japan
Japan was the future but it's stuck in the past
( (IP-MAT (ILYR (ILYR (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
(BED;_Ln_ was;{be})
(NP-PRD (D the;{the})
(N future;{future})))
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{JAPAN} (PRO it;{it}))
(BEP;_cat_VePASS_ <apos>s;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ stuck;{stick[in]})
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N past;{past}))))))))
(ID 1_a_stuck_japan))
arc(r_0001_0002__was,r_0001_0001__Japan,arg0).
arc(r_0001_0002__was,r_0001_0003__the_r_0001_0004__future,prd).
arc(r_0001_0005__but,r_0001_0002__was,conj1).
arc(r_0001_0005__but,r_0001_0007___apos_s,conj2).
arc(r_0001_0007___apos_s,r_0001_0008__stuck_r_0001_0009__in,scope).
arc(r_0001_0008__stuck_r_0001_0009__in,r_0001_0001__Japan,arg1).
arc(r_0001_0008__stuck_r_0001_0009__in,r_0001_0010__the_r_0001_0011__past,arg2).
arc(r_0001_0008__stuck_r_0001_0009__in,z_0001_5006___star_,arg0).
fof(formula,axiom,
? [R_0001_0001__JAPAN,R_0001_0003__THE_R_0001_0004__FUTURE,R_0001_0002__WAS,R_0001_0010__THE_R_0001_0011__PAST,Z_0001_5006___STAR_,R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN,R_0001_0005__BUT] :
( r_0001_0001__Japan(R_0001_0001__JAPAN)
& r_0001_0003__the_r_0001_0004__future(R_0001_0003__THE_R_0001_0004__FUTURE)
& r_0001_0010__the_r_0001_0011__past(R_0001_0010__THE_R_0001_0011__PAST)
& z_0001_5006___star_(Z_0001_5006___STAR_)
& r_0001_0005__but(R_0001_0005__BUT)
& has_conj2(R_0001_0005__BUT,R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN)
& r_0001_0007___apos_s_r_0001_0008__stuck_r_0001_0009__in(R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN)
& has_arg0(R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN,Z_0001_5006___STAR_)
& has_arg2(R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN,R_0001_0010__THE_R_0001_0011__PAST)
& has_arg1(R_0001_0007___APOS_S_R_0001_0008__STUCK_R_0001_0009__IN,R_0001_0001__JAPAN)
& has_conj1(R_0001_0005__BUT,R_0001_0002__WAS)
& r_0001_0002__was(R_0001_0002__WAS)
& has_prd(R_0001_0002__WAS,R_0001_0003__THE_R_0001_0004__FUTURE)
& has_arg0(R_0001_0002__WAS,R_0001_0001__JAPAN) ) ).