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 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] 
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_7 Stopped n39_a_driver_handbook_9 school n39_a_driver_handbook_11 buses n39_a_driver_handbook_14 and n39_a_driver_handbook_17 children n39_a_driver_handbook_20 crossing n39_a_driver_handbook_23 the n39_a_driver_handbook_25 street n39_a_driver_handbook_27 . n39_a_driver_handbook_1 FRAG n39_a_driver_handbook_2 NP-OB1 n39_a_driver_handbook_1->n39_a_driver_handbook_2 n39_a_driver_handbook_26 PUNC n39_a_driver_handbook_1->n39_a_driver_handbook_26 n39_a_driver_handbook_3 NLYR n39_a_driver_handbook_2->n39_a_driver_handbook_3 n39_a_driver_handbook_4 NLYR n39_a_driver_handbook_3->n39_a_driver_handbook_4 n39_a_driver_handbook_12 CONJP n39_a_driver_handbook_3->n39_a_driver_handbook_12 n39_a_driver_handbook_5 ADJP n39_a_driver_handbook_4->n39_a_driver_handbook_5 n39_a_driver_handbook_8 N n39_a_driver_handbook_4->n39_a_driver_handbook_8 n39_a_driver_handbook_10 NS n39_a_driver_handbook_4->n39_a_driver_handbook_10 n39_a_driver_handbook_6 ADJ n39_a_driver_handbook_5->n39_a_driver_handbook_6 n39_a_driver_handbook_6->n39_a_driver_handbook_7 n39_a_driver_handbook_8->n39_a_driver_handbook_9 n39_a_driver_handbook_10->n39_a_driver_handbook_11 n39_a_driver_handbook_13 CONJ n39_a_driver_handbook_12->n39_a_driver_handbook_13 n39_a_driver_handbook_15 NLYR n39_a_driver_handbook_12->n39_a_driver_handbook_15 n39_a_driver_handbook_13->n39_a_driver_handbook_14 n39_a_driver_handbook_16 NS n39_a_driver_handbook_15->n39_a_driver_handbook_16 n39_a_driver_handbook_18 IP-PPL n39_a_driver_handbook_15->n39_a_driver_handbook_18 n39_a_driver_handbook_16->n39_a_driver_handbook_17 n39_a_driver_handbook_19 VAG;_Tn_ n39_a_driver_handbook_18->n39_a_driver_handbook_19 n39_a_driver_handbook_21 NP-OB1 n39_a_driver_handbook_18->n39_a_driver_handbook_21 n39_a_driver_handbook_19->n39_a_driver_handbook_20 n39_a_driver_handbook_22 D n39_a_driver_handbook_21->n39_a_driver_handbook_22 n39_a_driver_handbook_24 N n39_a_driver_handbook_21->n39_a_driver_handbook_24 n39_a_driver_handbook_22->n39_a_driver_handbook_23 n39_a_driver_handbook_24->n39_a_driver_handbook_25 n39_a_driver_handbook_26->n39_a_driver_handbook_27 
( (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))