Context                Previous, Next                Top


142_a_stuck_japan
But that never happened.

%3 r_0142_0001__But_r_0142_0004__happened But happened r_0142_0002__that that r_0142_0001__But_r_0142_0004__happened->r_0142_0002__that [arg0] r_0142_0003__never never r_0142_0001__But_r_0142_0004__happened->r_0142_0003__never [nim] 
arc(r_0142_0001__But_r_0142_0004__happened, r_0142_0002__that, arg0).
arc(r_0142_0001__But_r_0142_0004__happened, r_0142_0003__never, nim7).


%3 r_0142_0001__But_r_0142_0004__happened But happened r_0142_0002__that that r_0142_0001__But_r_0142_0004__happened->r_0142_0002__that [arg0] r_0142_0003__never never r_0142_0001__But_r_0142_0004__happened->r_0142_0003__never [nim] 
fof(formula,axiom,
    ? [R_142_1_BUT_HAPPENED,R_142_2_THAT,R_142_3_NEVER] :
      ( that(R_142_2_THAT)
      & never(R_142_3_NEVER)
      & but_happened(R_142_1_BUT_HAPPENED,R_142_2_THAT)
      & nim7(R_142_1_BUT_HAPPENED,R_142_3_NEVER) ) ).


n142_a_stuck_japan n142_a_stuck_japan_3 But n142_a_stuck_japan_6 that n142_a_stuck_japan_9 never n142_a_stuck_japan_11 happened n142_a_stuck_japan_13 . n142_a_stuck_japan_1 IP-MAT n142_a_stuck_japan_2 CONJ;_cl_ n142_a_stuck_japan_1->n142_a_stuck_japan_2 n142_a_stuck_japan_4 NP-SBJ n142_a_stuck_japan_1->n142_a_stuck_japan_4 n142_a_stuck_japan_7 ADVP-NIM n142_a_stuck_japan_1->n142_a_stuck_japan_7 n142_a_stuck_japan_10 VBD;__ n142_a_stuck_japan_1->n142_a_stuck_japan_10 n142_a_stuck_japan_12 PUNC n142_a_stuck_japan_1->n142_a_stuck_japan_12 n142_a_stuck_japan_2->n142_a_stuck_japan_3 n142_a_stuck_japan_5 D n142_a_stuck_japan_4->n142_a_stuck_japan_5 n142_a_stuck_japan_5->n142_a_stuck_japan_6 n142_a_stuck_japan_8 ADV n142_a_stuck_japan_7->n142_a_stuck_japan_8 n142_a_stuck_japan_8->n142_a_stuck_japan_9 n142_a_stuck_japan_10->n142_a_stuck_japan_11 n142_a_stuck_japan_12->n142_a_stuck_japan_13 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D that;{that}))
          (ADVP-NIM (ADV never;{never}))
          (VBD;__ happened;{happen})
          (PUNC .))
  (ID 142_a_stuck_japan))