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_39_6_CROSSING,R_39_7_THE_STREET,Z_39_A_DRIVER_HANDBOOK_1,R_39_4_AND,R_39_2_SCHOOL_BUSES,R_39_1_STOPPED,R_39_5_CHILDREN] :
      ( the_street(R_39_7_THE_STREET)
      & stopped(R_39_1_STOPPED)
      & children(R_39_5_CHILDREN)
      & crossing(R_39_6_CROSSING,R_39_5_CHILDREN,R_39_7_THE_STREET)
      & z_39_a_driver_handbook_1(Z_39_A_DRIVER_HANDBOOK_1)
      & arg1(Z_39_A_DRIVER_HANDBOOK_1,R_39_4_AND)
      & and(R_39_4_AND)
      & conj1(R_39_4_AND,R_39_2_SCHOOL_BUSES)
      & school_buses(R_39_2_SCHOOL_BUSES)
      & attrib5(R_39_2_SCHOOL_BUSES,R_39_1_STOPPED)
      & conj2(R_39_4_AND,R_39_5_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))