Context                Previous, Next                Top


39_a_driver_handbook
Stopped school buses and children crossing the street.

%3 r_0039_0002__school_r_0039_0003__buses school buses r_0039_0001__Stopped Stopped r_0039_0002__school_r_0039_0003__buses->r_0039_0001__Stopped [attrib] r_0039_0004__and and r_0039_0004__and->r_0039_0002__school_r_0039_0003__buses [conj1] r_0039_0005__children children r_0039_0004__and->r_0039_0005__children [conj2] r_0039_0006__crossing crossing r_0039_0006__crossing->r_0039_0005__children [arg0] r_0039_0007__the_r_0039_0008__street the street r_0039_0006__crossing->r_0039_0007__the_r_0039_0008__street [arg1] z_000_39_a_driver_handbook_1 z_000_39_a_driver_handbook_1->r_0039_0004__and [arg1] 
arc(r_0039_0002__school_r_0039_0003__buses, r_0039_0001__Stopped, attrib5).
arc(r_0039_0004__and, r_0039_0002__school_r_0039_0003__buses, conj1).
arc(r_0039_0004__and, r_0039_0005__children, conj2).
arc(r_0039_0006__crossing, r_0039_0005__children, arg0).
arc(r_0039_0006__crossing, r_0039_0007__the_r_0039_0008__street, arg1).
arc(z_000_39_a_driver_handbook_1, r_0039_0004__and, arg1).


%3 z_000_39_a_driver_handbook_1 r_0039_0004__and and z_000_39_a_driver_handbook_1->r_0039_0004__and [arg1] r_0039_0005__children children r_0039_0004__and->r_0039_0005__children [conj2] r_0039_0002__school_r_0039_0003__buses school buses r_0039_0004__and->r_0039_0002__school_r_0039_0003__buses [conj1] r_0039_0006__crossing crossing r_0039_0007__the_r_0039_0008__street the street r_0039_0006__crossing->r_0039_0007__the_r_0039_0008__street [arg1] r_0039_0006__crossing->r_0039_0005__children [arg0] r_0039_0001__Stopped Stopped r_0039_0002__school_r_0039_0003__buses->r_0039_0001__Stopped [attrib] 
fof(formula,axiom,
    ? [R_0039_0005__CHILDREN,R_0039_0007__THE_R_0039_0008__STREET,R_0039_0006__CROSSING,R_0039_0001__STOPPED,R_0039_0002__SCHOOL_R_0039_0003__BUSES,R_0039_0004__AND,Z_000_39_A_DRIVER_HANDBOOK_1] :
      ( r_0039_0001__Stopped(R_0039_0001__STOPPED)
      & r_0039_0005__children(R_0039_0005__CHILDREN)
      & r_0039_0007__the_r_0039_0008__street(R_0039_0007__THE_R_0039_0008__STREET)
      & z_000_39_a_driver_handbook_1(Z_000_39_A_DRIVER_HANDBOOK_1)
      & has_arg1(Z_000_39_A_DRIVER_HANDBOOK_1,R_0039_0004__AND)
      & r_0039_0004__and(R_0039_0004__AND)
      & has_conj2(R_0039_0004__AND,R_0039_0005__CHILDREN)
      & has_conj1(R_0039_0004__AND,R_0039_0002__SCHOOL_R_0039_0003__BUSES)
      & r_0039_0002__school_r_0039_0003__buses(R_0039_0002__SCHOOL_R_0039_0003__BUSES)
      & has_attrib5(R_0039_0002__SCHOOL_R_0039_0003__BUSES,R_0039_0001__STOPPED)
      & r_0039_0006__crossing(R_0039_0006__CROSSING)
      & has_arg1(R_0039_0006__CROSSING,R_0039_0007__THE_R_0039_0008__STREET)
      & has_arg0(R_0039_0006__CROSSING,R_0039_0005__CHILDREN) ) ).


n39_a_driver_handbook n39_a_driver_handbook__1_1_1_1_1_1_1 Stopped n39_a_driver_handbook__1_1_1_1_2_1 school n39_a_driver_handbook__1_1_1_1_3_1 buses n39_a_driver_handbook__1_1_1_2_1_1 and n39_a_driver_handbook__1_1_1_2_2_1_1 children n39_a_driver_handbook__1_1_1_2_2_2_1_1 crossing n39_a_driver_handbook__1_1_1_2_2_2_2_1_1 the n39_a_driver_handbook__1_1_1_2_2_2_2_2_1 street n39_a_driver_handbook__1_2_1 . n39_a_driver_handbook__1 FRAG n39_a_driver_handbook__1_1 NP-OB1 n39_a_driver_handbook__1->n39_a_driver_handbook__1_1 n39_a_driver_handbook__1_2 PUNC n39_a_driver_handbook__1->n39_a_driver_handbook__1_2 n39_a_driver_handbook__1_1_1 NLYR n39_a_driver_handbook__1_1->n39_a_driver_handbook__1_1_1 n39_a_driver_handbook__1_1_1_1 NLYR n39_a_driver_handbook__1_1_1->n39_a_driver_handbook__1_1_1_1 n39_a_driver_handbook__1_1_1_2 CONJP n39_a_driver_handbook__1_1_1->n39_a_driver_handbook__1_1_1_2 n39_a_driver_handbook__1_1_1_1_1 ADJP n39_a_driver_handbook__1_1_1_1->n39_a_driver_handbook__1_1_1_1_1 n39_a_driver_handbook__1_1_1_1_2 N n39_a_driver_handbook__1_1_1_1->n39_a_driver_handbook__1_1_1_1_2 n39_a_driver_handbook__1_1_1_1_3 NS n39_a_driver_handbook__1_1_1_1->n39_a_driver_handbook__1_1_1_1_3 n39_a_driver_handbook__1_1_1_1_1_1 ADJ n39_a_driver_handbook__1_1_1_1_1->n39_a_driver_handbook__1_1_1_1_1_1 n39_a_driver_handbook__1_1_1_1_1_1->n39_a_driver_handbook__1_1_1_1_1_1_1 n39_a_driver_handbook__1_1_1_1_2->n39_a_driver_handbook__1_1_1_1_2_1 n39_a_driver_handbook__1_1_1_1_3->n39_a_driver_handbook__1_1_1_1_3_1 n39_a_driver_handbook__1_1_1_2_1 CONJ n39_a_driver_handbook__1_1_1_2->n39_a_driver_handbook__1_1_1_2_1 n39_a_driver_handbook__1_1_1_2_2 NLYR n39_a_driver_handbook__1_1_1_2->n39_a_driver_handbook__1_1_1_2_2 n39_a_driver_handbook__1_1_1_2_1->n39_a_driver_handbook__1_1_1_2_1_1 n39_a_driver_handbook__1_1_1_2_2_1 NS n39_a_driver_handbook__1_1_1_2_2->n39_a_driver_handbook__1_1_1_2_2_1 n39_a_driver_handbook__1_1_1_2_2_2 IP-PPL n39_a_driver_handbook__1_1_1_2_2->n39_a_driver_handbook__1_1_1_2_2_2 n39_a_driver_handbook__1_1_1_2_2_1->n39_a_driver_handbook__1_1_1_2_2_1_1 n39_a_driver_handbook__1_1_1_2_2_2_1 VAG;_Tn_ n39_a_driver_handbook__1_1_1_2_2_2->n39_a_driver_handbook__1_1_1_2_2_2_1 n39_a_driver_handbook__1_1_1_2_2_2_2 NP-OB1 n39_a_driver_handbook__1_1_1_2_2_2->n39_a_driver_handbook__1_1_1_2_2_2_2 n39_a_driver_handbook__1_1_1_2_2_2_1->n39_a_driver_handbook__1_1_1_2_2_2_1_1 n39_a_driver_handbook__1_1_1_2_2_2_2_1 D n39_a_driver_handbook__1_1_1_2_2_2_2->n39_a_driver_handbook__1_1_1_2_2_2_2_1 n39_a_driver_handbook__1_1_1_2_2_2_2_2 N n39_a_driver_handbook__1_1_1_2_2_2_2->n39_a_driver_handbook__1_1_1_2_2_2_2_2 n39_a_driver_handbook__1_1_1_2_2_2_2_1->n39_a_driver_handbook__1_1_1_2_2_2_2_1_1 n39_a_driver_handbook__1_1_1_2_2_2_2_2->n39_a_driver_handbook__1_1_1_2_2_2_2_2_1 n39_a_driver_handbook__1_2->n39_a_driver_handbook__1_2_1 
( (FRAG (NP-OB1 (NLYR (NLYR (ADJP (ADJ Stopped;{stopped}))
                            (N school;{school})
                            (NS buses;{bus}))
                      (CONJP (CONJ and;{and})
                             (NLYR (NS children;{child})
                                   (IP-PPL (VAG;_Tn_ crossing;{cross})
                                           (NP-OB1 (D the;{the})
                                                   (N street;{street})))))))
        (PUNC .))
  (ID 39_a_driver_handbook))