Context                Previous, Next                Top


142_a_stuck_japan
But that never happened.

n142_a_stuck_japan n142_a_stuck_japan__1_1_1 But n142_a_stuck_japan__1_2_1_1 that n142_a_stuck_japan__1_3_1_1 never n142_a_stuck_japan__1_4_1 happened n142_a_stuck_japan__1_5_1 . n142_a_stuck_japan__1 IP-MAT n142_a_stuck_japan__1_1 CONJ;_cl_ n142_a_stuck_japan__1->n142_a_stuck_japan__1_1 n142_a_stuck_japan__1_2 NP-SBJ n142_a_stuck_japan__1->n142_a_stuck_japan__1_2 n142_a_stuck_japan__1_3 ADVP-NIM n142_a_stuck_japan__1->n142_a_stuck_japan__1_3 n142_a_stuck_japan__1_4 VBD;__ n142_a_stuck_japan__1->n142_a_stuck_japan__1_4 n142_a_stuck_japan__1_5 PUNC n142_a_stuck_japan__1->n142_a_stuck_japan__1_5 n142_a_stuck_japan__1_1->n142_a_stuck_japan__1_1_1 n142_a_stuck_japan__1_2_1 D n142_a_stuck_japan__1_2->n142_a_stuck_japan__1_2_1 n142_a_stuck_japan__1_2_1->n142_a_stuck_japan__1_2_1_1 n142_a_stuck_japan__1_3_1 ADV n142_a_stuck_japan__1_3->n142_a_stuck_japan__1_3_1 n142_a_stuck_japan__1_3_1->n142_a_stuck_japan__1_3_1_1 n142_a_stuck_japan__1_4->n142_a_stuck_japan__1_4_1 n142_a_stuck_japan__1_5->n142_a_stuck_japan__1_5_1 
( (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))


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


%3 r_0142_0004__happened happened r_0142_0002__that that r_0142_0004__happened->r_0142_0002__that [arg0] r_0142_0003__never never r_0142_0004__happened->r_0142_0003__never [nim] 
fof(formula,axiom,
    ? [R_0142_0002__THAT,R_0142_0003__NEVER,R_0142_0004__HAPPENED] :
      ( r_0142_0002__that(R_0142_0002__THAT)
      & r_0142_0003__never(R_0142_0003__NEVER)
      & r_0142_0004__happened(R_0142_0004__HAPPENED)
      & has_nim(R_0142_0004__HAPPENED,R_0142_0003__NEVER)
      & has_arg0(R_0142_0004__HAPPENED,R_0142_0002__THAT) ) ).