Context                Previous, Next                Top


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

n82_a_stuck_japan n82_a_stuck_japan__1_1_1_1 Of n82_a_stuck_japan__1_1_2_1_1 the n82_a_stuck_japan__1_1_2_2_1 60 n82_a_stuck_japan__1_1_2_3_1 left n82_a_stuck_japan__1_2_1 , n82_a_stuck_japan__1_3_1 there n82_a_stuck_japan__1_4_1 was n82_a_stuck_japan__1_5_1_1_1_1_1 only n82_a_stuck_japan__1_5_1_1_2_1 one n82_a_stuck_japan__1_5_1_1_3_1 teenager n82_a_stuck_japan__1_5_1_2_1_1 and n82_a_stuck_japan__1_5_1_2_2_1_1 no n82_a_stuck_japan__1_5_1_2_2_2_1 children n82_a_stuck_japan__1_6_1 . n82_a_stuck_japan__1 IP-MAT n82_a_stuck_japan__1_1 PP-TPC-NIM n82_a_stuck_japan__1->n82_a_stuck_japan__1_1 n82_a_stuck_japan__1_2 PUNC n82_a_stuck_japan__1->n82_a_stuck_japan__1_2 n82_a_stuck_japan__1_3 EX n82_a_stuck_japan__1->n82_a_stuck_japan__1_3 n82_a_stuck_japan__1_4 BED;_ex_V_ n82_a_stuck_japan__1->n82_a_stuck_japan__1_4 n82_a_stuck_japan__1_5 NP-ESBJ n82_a_stuck_japan__1->n82_a_stuck_japan__1_5 n82_a_stuck_japan__1_6 PUNC n82_a_stuck_japan__1->n82_a_stuck_japan__1_6 n82_a_stuck_japan__1_1_1 P-ROLE n82_a_stuck_japan__1_1->n82_a_stuck_japan__1_1_1 n82_a_stuck_japan__1_1_2 NP n82_a_stuck_japan__1_1->n82_a_stuck_japan__1_1_2 n82_a_stuck_japan__1_1_1->n82_a_stuck_japan__1_1_1_1 n82_a_stuck_japan__1_1_2_1 D n82_a_stuck_japan__1_1_2->n82_a_stuck_japan__1_1_2_1 n82_a_stuck_japan__1_1_2_2 NUM n82_a_stuck_japan__1_1_2->n82_a_stuck_japan__1_1_2_2 n82_a_stuck_japan__1_1_2_3 N n82_a_stuck_japan__1_1_2->n82_a_stuck_japan__1_1_2_3 n82_a_stuck_japan__1_1_2_1->n82_a_stuck_japan__1_1_2_1_1 n82_a_stuck_japan__1_1_2_2->n82_a_stuck_japan__1_1_2_2_1 n82_a_stuck_japan__1_1_2_3->n82_a_stuck_japan__1_1_2_3_1 n82_a_stuck_japan__1_2->n82_a_stuck_japan__1_2_1 n82_a_stuck_japan__1_3->n82_a_stuck_japan__1_3_1 n82_a_stuck_japan__1_4->n82_a_stuck_japan__1_4_1 n82_a_stuck_japan__1_5_1 NLYR n82_a_stuck_japan__1_5->n82_a_stuck_japan__1_5_1 n82_a_stuck_japan__1_5_1_1 NLYR n82_a_stuck_japan__1_5_1->n82_a_stuck_japan__1_5_1_1 n82_a_stuck_japan__1_5_1_2 CONJP n82_a_stuck_japan__1_5_1->n82_a_stuck_japan__1_5_1_2 n82_a_stuck_japan__1_5_1_1_1 ADVP n82_a_stuck_japan__1_5_1_1->n82_a_stuck_japan__1_5_1_1_1 n82_a_stuck_japan__1_5_1_1_2 NUM n82_a_stuck_japan__1_5_1_1->n82_a_stuck_japan__1_5_1_1_2 n82_a_stuck_japan__1_5_1_1_3 N n82_a_stuck_japan__1_5_1_1->n82_a_stuck_japan__1_5_1_1_3 n82_a_stuck_japan__1_5_1_1_1_1 ADV n82_a_stuck_japan__1_5_1_1_1->n82_a_stuck_japan__1_5_1_1_1_1 n82_a_stuck_japan__1_5_1_1_1_1->n82_a_stuck_japan__1_5_1_1_1_1_1 n82_a_stuck_japan__1_5_1_1_2->n82_a_stuck_japan__1_5_1_1_2_1 n82_a_stuck_japan__1_5_1_1_3->n82_a_stuck_japan__1_5_1_1_3_1 n82_a_stuck_japan__1_5_1_2_1 CONJ n82_a_stuck_japan__1_5_1_2->n82_a_stuck_japan__1_5_1_2_1 n82_a_stuck_japan__1_5_1_2_2 NLYR n82_a_stuck_japan__1_5_1_2->n82_a_stuck_japan__1_5_1_2_2 n82_a_stuck_japan__1_5_1_2_1->n82_a_stuck_japan__1_5_1_2_1_1 n82_a_stuck_japan__1_5_1_2_2_1 Q n82_a_stuck_japan__1_5_1_2_2->n82_a_stuck_japan__1_5_1_2_2_1 n82_a_stuck_japan__1_5_1_2_2_2 NS n82_a_stuck_japan__1_5_1_2_2->n82_a_stuck_japan__1_5_1_2_2_2 n82_a_stuck_japan__1_5_1_2_2_1->n82_a_stuck_japan__1_5_1_2_2_1_1 n82_a_stuck_japan__1_5_1_2_2_2->n82_a_stuck_japan__1_5_1_2_2_2_1 n82_a_stuck_japan__1_6->n82_a_stuck_japan__1_6_1 
( (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))


%3 r_0082_0012__no__quant no [quant] r_0082_0013__children children r_0082_0012__no__quant->r_0082_0013__children [restriction] r_0082_0011__and and r_0082_0012__no__quant->r_0082_0011__and [scope] r_0082_0011__and->r_0082_0013__children [conj2] 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_0008__only only r_0082_0009__one_r_0082_0010__teenager->r_0082_0008__only [qual] r_0082_0007__was was r_0082_0007__was->r_0082_0011__and [arg0] r_0082_0002__the_r_0082_0003__60_r_0082_0004__left the 60 left r_0082_0007__was->r_0082_0002__the_r_0082_0003__60_r_0082_0004__left Of [nim] 
arc(r_0082_0007__was,r_0082_0002__the_r_0082_0003__60_r_0082_0004__left,r_0082_0001__Of__nim).
arc(r_0082_0007__was,r_0082_0011__and,arg0).
arc(r_0082_0009__one_r_0082_0010__teenager,r_0082_0008__only,qual).
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_0007__was was r_0082_0002__the_r_0082_0003__60_r_0082_0004__left the 60 left 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_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_0007__was [scope] r_0082_0012__no__quant->r_0082_0013__children [restriction] 
fof(formula,axiom,
    ! [R_0082_0013__CHILDREN] :
      ( r_0082_0013__children(R_0082_0013__CHILDREN)
     => ? [R_0082_0002__THE_R_0082_0003__60_R_0082_0004__LEFT,R_0082_0008__ONLY,R_0082_0009__ONE_R_0082_0010__TEENAGER,R_0082_0011__AND,R_0082_0007__WAS] :
          ( r_0082_0002__the_r_0082_0003__60_r_0082_0004__left(R_0082_0002__THE_R_0082_0003__60_R_0082_0004__LEFT)
          & r_0082_0008__only(R_0082_0008__ONLY)
          & r_0082_0007__was(R_0082_0007__WAS)
          & has_arg0(R_0082_0007__WAS,R_0082_0011__AND)
          & r_0082_0011__and(R_0082_0011__AND)
          & has_conj2(R_0082_0011__AND,R_0082_0013__CHILDREN)
          & has_conj1(R_0082_0011__AND,R_0082_0009__ONE_R_0082_0010__TEENAGER)
          & r_0082_0009__one_r_0082_0010__teenager(R_0082_0009__ONE_R_0082_0010__TEENAGER)
          & has_qual(R_0082_0009__ONE_R_0082_0010__TEENAGER,R_0082_0008__ONLY)
          & has_r_0082_0001__Of__nim(R_0082_0007__WAS,R_0082_0002__THE_R_0082_0003__60_R_0082_0004__LEFT) ) ) ).