Context                Previous, Next                Top


1_a_stuck_japan
Japan was the future but it's stuck in the past

%3 r_0001_0002__was was r_0001_0001__Japan Japan r_0001_0002__was->r_0001_0001__Japan [arg0] r_0001_0003__the_r_0001_0004__future the future r_0001_0002__was->r_0001_0003__the_r_0001_0004__future [prd] r_0001_0005__but but r_0001_0005__but->r_0001_0002__was [conj1] r_0001_0007___apos_s 's r_0001_0005__but->r_0001_0007___apos_s [conj2] r_0001_0008__stuck stuck r_0001_0007___apos_s->r_0001_0008__stuck [scope] r_0001_0008__stuck->r_0001_0001__Japan [arg1] r_0001_0010__the_r_0001_0011__past the past r_0001_0008__stuck->r_0001_0010__the_r_0001_0011__past in [clr] z_000_1_a_stuck_japan_24 r_0001_0008__stuck->z_000_1_a_stuck_japan_24 [arg0] 
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, scope).
arc(r_0001_0008__stuck, r_0001_0001__Japan, arg1).
arc(r_0001_0008__stuck, r_0001_0010__the_r_0001_0011__past, r_0001_0009__in_clr31).
arc(r_0001_0008__stuck, z_000_1_a_stuck_japan_24, arg0).


%3 r_0001_0002__was was r_0001_0001__Japan Japan r_0001_0002__was->r_0001_0001__Japan [arg0] r_0001_0003__the_r_0001_0004__future the future r_0001_0002__was->r_0001_0003__the_r_0001_0004__future [prd] r_0001_0005__but but r_0001_0005__but->r_0001_0002__was [conj1] r_0001_0007___apos_s_r_0001_0008__stuck 's stuck r_0001_0005__but->r_0001_0007___apos_s_r_0001_0008__stuck [conj2] r_0001_0007___apos_s_r_0001_0008__stuck->r_0001_0001__Japan [arg1] r_0001_0010__the_r_0001_0011__past the past r_0001_0007___apos_s_r_0001_0008__stuck->r_0001_0010__the_r_0001_0011__past in [clr] z_000_1_a_stuck_japan_24 r_0001_0007___apos_s_r_0001_0008__stuck->z_000_1_a_stuck_japan_24 [arg0] 
fof(formula,axiom,
    ? [R_1_5_BUT,R_1_2_WAS,R_1_3_THE_FUTURE,R_1_7__APOS_S_STUCK,Z_1_A_STUCK_JAPAN_24,R_1_1_JAPAN,R_1_10_THE_PAST] :
      ( the_future(R_1_3_THE_FUTURE)
      & japan(R_1_1_JAPAN)
      & the_past(R_1_10_THE_PAST)
      & but(R_1_5_BUT)
      & conj1(R_1_5_BUT,R_1_2_WAS)
      & was(R_1_2_WAS,R_1_1_JAPAN,R_1_3_THE_FUTURE)
      & conj2(R_1_5_BUT,R_1_7__APOS_S_STUCK)
      & _apos_s_stuck(R_1_7__APOS_S_STUCK,Z_1_A_STUCK_JAPAN_24,R_1_1_JAPAN)
      & in_clr31(R_1_7__APOS_S_STUCK,R_1_10_THE_PAST) ) ).


n1_a_stuck_japan n1_a_stuck_japan_6 Japan n1_a_stuck_japan_8 was n1_a_stuck_japan_11 the n1_a_stuck_japan_13 future n1_a_stuck_japan_16 but n1_a_stuck_japan_20 it n1_a_stuck_japan_22 's n1_a_stuck_japan_25 * n1_a_stuck_japan_27 stuck n1_a_stuck_japan_30 in n1_a_stuck_japan_33 the n1_a_stuck_japan_35 past n1_a_stuck_japan_1 IP-MAT n1_a_stuck_japan_2 ILYR n1_a_stuck_japan_1->n1_a_stuck_japan_2 n1_a_stuck_japan_3 ILYR n1_a_stuck_japan_2->n1_a_stuck_japan_3 n1_a_stuck_japan_14 CONJP n1_a_stuck_japan_2->n1_a_stuck_japan_14 n1_a_stuck_japan_4 NP-SBJ n1_a_stuck_japan_3->n1_a_stuck_japan_4 n1_a_stuck_japan_7 BED;_Ln_ n1_a_stuck_japan_3->n1_a_stuck_japan_7 n1_a_stuck_japan_9 NP-PRD n1_a_stuck_japan_3->n1_a_stuck_japan_9 n1_a_stuck_japan_5 NPR n1_a_stuck_japan_4->n1_a_stuck_japan_5 n1_a_stuck_japan_5->n1_a_stuck_japan_6 n1_a_stuck_japan_7->n1_a_stuck_japan_8 n1_a_stuck_japan_10 D n1_a_stuck_japan_9->n1_a_stuck_japan_10 n1_a_stuck_japan_12 N n1_a_stuck_japan_9->n1_a_stuck_japan_12 n1_a_stuck_japan_10->n1_a_stuck_japan_11 n1_a_stuck_japan_12->n1_a_stuck_japan_13 n1_a_stuck_japan_15 CONJ n1_a_stuck_japan_14->n1_a_stuck_japan_15 n1_a_stuck_japan_17 ILYR n1_a_stuck_japan_14->n1_a_stuck_japan_17 n1_a_stuck_japan_15->n1_a_stuck_japan_16 n1_a_stuck_japan_18 NP-SBJ n1_a_stuck_japan_17->n1_a_stuck_japan_18 n1_a_stuck_japan_21 BEP;_cat_VePASS_ n1_a_stuck_japan_17->n1_a_stuck_japan_21 n1_a_stuck_japan_23 IP-PPL-CAT n1_a_stuck_japan_17->n1_a_stuck_japan_23 n1_a_stuck_japan_19 PRO n1_a_stuck_japan_18->n1_a_stuck_japan_19 n1_a_stuck_japan_19->n1_a_stuck_japan_20 n1_a_stuck_japan_21->n1_a_stuck_japan_22 n1_a_stuck_japan_24 NP-LGS n1_a_stuck_japan_23->n1_a_stuck_japan_24 n1_a_stuck_japan_26 VVN;_Tn.pr_ n1_a_stuck_japan_23->n1_a_stuck_japan_26 n1_a_stuck_japan_28 PP-CLR n1_a_stuck_japan_23->n1_a_stuck_japan_28 n1_a_stuck_japan_24->n1_a_stuck_japan_25 n1_a_stuck_japan_26->n1_a_stuck_japan_27 n1_a_stuck_japan_29 P-ROLE n1_a_stuck_japan_28->n1_a_stuck_japan_29 n1_a_stuck_japan_31 NP n1_a_stuck_japan_28->n1_a_stuck_japan_31 n1_a_stuck_japan_29->n1_a_stuck_japan_30 n1_a_stuck_japan_32 D n1_a_stuck_japan_31->n1_a_stuck_japan_32 n1_a_stuck_japan_34 N n1_a_stuck_japan_31->n1_a_stuck_japan_34 n1_a_stuck_japan_32->n1_a_stuck_japan_33 n1_a_stuck_japan_34->n1_a_stuck_japan_35 
( (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))