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).

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) ) ) ).

( (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))