Context                Previous, Next                Top


82_a_stuck_japan
Of the 60 left, there was only one teenager and no children.

%3 r_0082_0006__there_r_0082_0007__was there was r_0082_0002__the_r_0082_0003__60_r_0082_0004__left the 60 left r_0082_0006__there_r_0082_0007__was->r_0082_0002__the_r_0082_0003__60_r_0082_0004__left Of [nim] r_0082_0011__and and r_0082_0006__there_r_0082_0007__was->r_0082_0011__and [arg0] r_0082_0009__one_r_0082_0010__teenager one teenager r_0082_0011__and->r_0082_0009__one_r_0082_0010__teenager [conj1] r_0082_0013__children children r_0082_0011__and->r_0082_0013__children [conj2] r_0082_0008__only only r_0082_0009__one_r_0082_0010__teenager->r_0082_0008__only [qual] r_0082_0012__no_quant no [quant] r_0082_0012__no_quant->r_0082_0011__and [scope] r_0082_0012__no_quant->r_0082_0013__children [restriction] 
arc(r_0082_0006__there_r_0082_0007__was, r_0082_0002__the_r_0082_0003__60_r_0082_0004__left, r_0082_0001__Of_nim5).
arc(r_0082_0006__there_r_0082_0007__was, r_0082_0011__and, arg0).
arc(r_0082_0009__one_r_0082_0010__teenager, r_0082_0008__only, qual21).
arc(r_0082_0011__and, r_0082_0009__one_r_0082_0010__teenager, conj1).
arc(r_0082_0011__and, r_0082_0013__children, conj2).
arc(r_0082_0012__no_quant, r_0082_0011__and, scope).
arc(r_0082_0012__no_quant, r_0082_0013__children, restriction).


%3 r_0082_0006__there_r_0082_0007__was there was r_0082_0002__the_r_0082_0003__60_r_0082_0004__left the 60 left r_0082_0006__there_r_0082_0007__was->r_0082_0002__the_r_0082_0003__60_r_0082_0004__left Of [nim] r_0082_0011__and and r_0082_0006__there_r_0082_0007__was->r_0082_0011__and [arg0] r_0082_0009__one_r_0082_0010__teenager one teenager r_0082_0011__and->r_0082_0009__one_r_0082_0010__teenager [conj1] r_0082_0013__children children r_0082_0011__and->r_0082_0013__children [conj2] r_0082_0008__only only r_0082_0009__one_r_0082_0010__teenager->r_0082_0008__only [qual] r_0082_0012__no_quant no [quant] r_0082_0012__no_quant->r_0082_0006__there_r_0082_0007__was [scope] r_0082_0012__no_quant->r_0082_0013__children [restriction] 
fof(formula,axiom,
    ! [R_82_13_CHILDREN] :
      ( children(R_82_13_CHILDREN)
     => ? [R_82_6_THERE_WAS,R_82_11_AND,R_82_9_ONE_TEENAGER,R_82_8_ONLY,R_82_2_THE_60_LEFT] :
          ( only(R_82_8_ONLY)
          & the_60_left(R_82_2_THE_60_LEFT)
          & there_was(R_82_6_THERE_WAS,R_82_11_AND)
          & and(R_82_11_AND)
          & conj1(R_82_11_AND,R_82_9_ONE_TEENAGER)
          & one_teenager(R_82_9_ONE_TEENAGER)
          & qual21(R_82_9_ONE_TEENAGER,R_82_8_ONLY)
          & conj2(R_82_11_AND,R_82_13_CHILDREN)
          & of_nim5(R_82_6_THERE_WAS,R_82_2_THE_60_LEFT) ) ) ).


n82_a_stuck_japan n82_a_stuck_japan_4 Of n82_a_stuck_japan_7 the n82_a_stuck_japan_9 60 n82_a_stuck_japan_11 left n82_a_stuck_japan_13 , n82_a_stuck_japan_15 there n82_a_stuck_japan_17 was n82_a_stuck_japan_23 only n82_a_stuck_japan_25 one n82_a_stuck_japan_27 teenager n82_a_stuck_japan_30 and n82_a_stuck_japan_33 no n82_a_stuck_japan_35 children n82_a_stuck_japan_37 . n82_a_stuck_japan_1 IP-MAT n82_a_stuck_japan_2 PP-TPC-NIM n82_a_stuck_japan_1->n82_a_stuck_japan_2 n82_a_stuck_japan_12 PUNC n82_a_stuck_japan_1->n82_a_stuck_japan_12 n82_a_stuck_japan_14 EX n82_a_stuck_japan_1->n82_a_stuck_japan_14 n82_a_stuck_japan_16 BED;_ex_V_ n82_a_stuck_japan_1->n82_a_stuck_japan_16 n82_a_stuck_japan_18 NP-ESBJ n82_a_stuck_japan_1->n82_a_stuck_japan_18 n82_a_stuck_japan_36 PUNC n82_a_stuck_japan_1->n82_a_stuck_japan_36 n82_a_stuck_japan_3 P-ROLE n82_a_stuck_japan_2->n82_a_stuck_japan_3 n82_a_stuck_japan_5 NP n82_a_stuck_japan_2->n82_a_stuck_japan_5 n82_a_stuck_japan_3->n82_a_stuck_japan_4 n82_a_stuck_japan_6 D n82_a_stuck_japan_5->n82_a_stuck_japan_6 n82_a_stuck_japan_8 NUM n82_a_stuck_japan_5->n82_a_stuck_japan_8 n82_a_stuck_japan_10 N n82_a_stuck_japan_5->n82_a_stuck_japan_10 n82_a_stuck_japan_6->n82_a_stuck_japan_7 n82_a_stuck_japan_8->n82_a_stuck_japan_9 n82_a_stuck_japan_10->n82_a_stuck_japan_11 n82_a_stuck_japan_12->n82_a_stuck_japan_13 n82_a_stuck_japan_14->n82_a_stuck_japan_15 n82_a_stuck_japan_16->n82_a_stuck_japan_17 n82_a_stuck_japan_19 NLYR n82_a_stuck_japan_18->n82_a_stuck_japan_19 n82_a_stuck_japan_20 NLYR n82_a_stuck_japan_19->n82_a_stuck_japan_20 n82_a_stuck_japan_28 CONJP n82_a_stuck_japan_19->n82_a_stuck_japan_28 n82_a_stuck_japan_21 ADVP n82_a_stuck_japan_20->n82_a_stuck_japan_21 n82_a_stuck_japan_24 NUM n82_a_stuck_japan_20->n82_a_stuck_japan_24 n82_a_stuck_japan_26 N n82_a_stuck_japan_20->n82_a_stuck_japan_26 n82_a_stuck_japan_22 ADV n82_a_stuck_japan_21->n82_a_stuck_japan_22 n82_a_stuck_japan_22->n82_a_stuck_japan_23 n82_a_stuck_japan_24->n82_a_stuck_japan_25 n82_a_stuck_japan_26->n82_a_stuck_japan_27 n82_a_stuck_japan_29 CONJ n82_a_stuck_japan_28->n82_a_stuck_japan_29 n82_a_stuck_japan_31 NLYR n82_a_stuck_japan_28->n82_a_stuck_japan_31 n82_a_stuck_japan_29->n82_a_stuck_japan_30 n82_a_stuck_japan_32 Q n82_a_stuck_japan_31->n82_a_stuck_japan_32 n82_a_stuck_japan_34 NS n82_a_stuck_japan_31->n82_a_stuck_japan_34 n82_a_stuck_japan_32->n82_a_stuck_japan_33 n82_a_stuck_japan_34->n82_a_stuck_japan_35 n82_a_stuck_japan_36->n82_a_stuck_japan_37 
( (IP-MAT (PP-TPC-NIM (P-ROLE Of;{of})
                      (NP (D the;{the})
                          (NUM 60)
                          (N left;{left})))
          (PUNC ,)
          (EX there;{there})
          (BED;_ex_V_ was;{be})
          (NP-ESBJ (NLYR (NLYR (ADVP (ADV only;{only}))
                               (NUM one;{one})
                               (N teenager;{teenager}))
                         (CONJP (CONJ and;{and})
                                (NLYR (Q no;{no})
                                      (NS children;{child})))))
          (PUNC .))
  (ID 82_a_stuck_japan))