( (IP-MAT (ADVP-NIM (ADV Also;{also}))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ many;{many}))
                  (NS children;{child}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ADVP-NIM (NEG not;{not})
                                (ADV yet;{yet}))
                      (VVN;_Tn_ developed;{develop})
                      (NP-OB1 (D the;{the})
                              (N ability;{ability})
                              (IP-INF (TO to;{to})
                                      (VB;_Tn_ judge;{judge})
                                      (NP-OB1 (NLYR (NLYR (NS speeds;{speed}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NS distances;{distance})))))
                                      (ADVP-NIM (ADVP (ADV well;{well}))
                                                (ADV enough;{enough})
                                                (IP-INF (TO to;{to})
                                                        (VB;_Tn_ cross;{cross})
                                                        (NP-OB1 (NS streets;{street}))
                                                        (ADVP-NIM (ADV safely;{safely}))
                                                        (PP-SCON (P-CONN when;{when})
                                                                 (IP-ADV (NP-SBJ (NS cars;{car}))
                                                                         (BEP;_cat_Vg_ are;{be})
                                                                         (IP-PPL-CAT (VAG;_I_ moving;{move})
                                                                                     (ADVP-NIM (ADV fast;{fast}))))))))))
          (PUNC .))
  (ID 34_a_driver_handbook))

arc(r_0034_0004__children,r_0034_0003__many,attrib).
arc(r_0034_0005__have,r_0034_0001__Also,nim).
arc(r_0034_0005__have,r_0034_0008__developed,scope).
arc(r_0034_0008__developed,r_0034_0004__children,arg0).
arc(r_0034_0008__developed,r_0034_0006__not_r_0034_0007__yet,nim).
arc(r_0034_0008__developed,r_0034_0009__the_r_0034_0010__ability,arg1).
arc(r_0034_0009__the_r_0034_0010__ability,r_0034_0012__judge,emb).
arc(r_0034_0012__judge,r_0034_0014__and,arg1).
arc(r_0034_0012__judge,r_0034_0017__enough,nim).
arc(r_0034_0012__judge,z_0034_5008,arg0).
arc(r_0034_0014__and,r_0034_0013__speeds,conj1).
arc(r_0034_0014__and,r_0034_0015__distances,conj2).
arc(r_0034_0017__enough,r_0034_0016__well,qual).
arc(r_0034_0017__enough,r_0034_0022__when,emb).
arc(r_0034_0019__cross,r_0034_0020__streets,arg1).
arc(r_0034_0019__cross,r_0034_0021__safely,nim).
arc(r_0034_0019__cross,z_0034_5016,arg0).
arc(r_0034_0022__when,r_0034_0019__cross,scope).
arc(r_0034_0022__when,r_0034_0024__are,restriction).
arc(r_0034_0024__are,r_0034_0025__moving,scope).
arc(r_0034_0025__moving,r_0034_0023__cars,arg0).
arc(r_0034_0025__moving,r_0034_0026__fast,nim).

fof(formula,axiom,
    ? [R_0034_0001__ALSO,R_0034_0003__MANY,R_0034_0004__CHILDREN,R_0034_0006__NOT_R_0034_0007__YET,R_0034_0013__SPEEDS,R_0034_0015__DISTANCES,R_0034_0014__AND,R_0034_0016__WELL,R_0034_0017__ENOUGH,Z_0034_5008,R_0034_0012__JUDGE,R_0034_0009__THE_R_0034_0010__ABILITY,R_0034_0005__HAVE_R_0034_0008__DEVELOPED] :
      ( r_0034_0001__Also(R_0034_0001__ALSO)
      & r_0034_0003__many(R_0034_0003__MANY)
      & r_0034_0006__not_r_0034_0007__yet(R_0034_0006__NOT_R_0034_0007__YET)
      & r_0034_0013__speeds(R_0034_0013__SPEEDS)
      & r_0034_0015__distances(R_0034_0015__DISTANCES)
      & r_0034_0016__well(R_0034_0016__WELL)
      & z_0034_5008(Z_0034_5008)
      & r_0034_0005__have_r_0034_0008__developed(R_0034_0005__HAVE_R_0034_0008__DEVELOPED)
      & has_arg1(R_0034_0005__HAVE_R_0034_0008__DEVELOPED,R_0034_0009__THE_R_0034_0010__ABILITY)
      & r_0034_0009__the_r_0034_0010__ability(R_0034_0009__THE_R_0034_0010__ABILITY)
      & has_emb(R_0034_0009__THE_R_0034_0010__ABILITY,R_0034_0012__JUDGE)
      & r_0034_0012__judge(R_0034_0012__JUDGE)
      & has_arg0(R_0034_0012__JUDGE,Z_0034_5008)
      & has_nim(R_0034_0012__JUDGE,R_0034_0017__ENOUGH)
      & r_0034_0017__enough(R_0034_0017__ENOUGH)
      & ! [R_0034_0024__ARE_R_0034_0025__MOVING,R_0034_0023__CARS,R_0034_0026__FAST] :
          ( ( r_0034_0023__cars(R_0034_0023__CARS)
            & r_0034_0026__fast(R_0034_0026__FAST)
            & r_0034_0024__are_r_0034_0025__moving(R_0034_0024__ARE_R_0034_0025__MOVING)
            & has_nim(R_0034_0024__ARE_R_0034_0025__MOVING,R_0034_0026__FAST)
            & has_arg0(R_0034_0024__ARE_R_0034_0025__MOVING,R_0034_0023__CARS) )
         => ? [R_0034_0020__STREETS,R_0034_0021__SAFELY,Z_0034_5016,R_0034_0019__CROSS] :
              ( r_0034_0020__streets(R_0034_0020__STREETS)
              & r_0034_0021__safely(R_0034_0021__SAFELY)
              & z_0034_5016(Z_0034_5016)
              & r_0034_0019__cross(R_0034_0019__CROSS)
              & has_arg0(R_0034_0019__CROSS,Z_0034_5016)
              & has_nim(R_0034_0019__CROSS,R_0034_0021__SAFELY)
              & has_arg1(R_0034_0019__CROSS,R_0034_0020__STREETS) ) )
      & has_qual(R_0034_0017__ENOUGH,R_0034_0016__WELL)
      & has_arg1(R_0034_0012__JUDGE,R_0034_0014__AND)
      & r_0034_0014__and(R_0034_0014__AND)
      & has_conj2(R_0034_0014__AND,R_0034_0015__DISTANCES)
      & has_conj1(R_0034_0014__AND,R_0034_0013__SPEEDS)
      & has_nim(R_0034_0005__HAVE_R_0034_0008__DEVELOPED,R_0034_0006__NOT_R_0034_0007__YET)
      & has_arg0(R_0034_0005__HAVE_R_0034_0008__DEVELOPED,R_0034_0004__CHILDREN)
      & r_0034_0004__children(R_0034_0004__CHILDREN)
      & has_attrib(R_0034_0004__CHILDREN,R_0034_0003__MANY)
      & has_nim(R_0034_0005__HAVE_R_0034_0008__DEVELOPED,R_0034_0001__ALSO) ) ).