39_a_driver_handbook
Stopped school buses and children crossing the street.
( (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))
arc(r_0039_0002__school_r_0039_0003__buses,r_0039_0001__Stopped,attrib).
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,inv_arg0).
arc(r_0039_0006__crossing,r_0039_0007__the_r_0039_0008__street,arg1).
arc(z_0039_5007,r_0039_0004__and,arg1).
fof(formula,axiom,
? [R_0039_0001__STOPPED,R_0039_0002__SCHOOL_R_0039_0003__BUSES,R_0039_0007__THE_R_0039_0008__STREET,R_0039_0006__CROSSING,R_0039_0005__CHILDREN,R_0039_0004__AND,Z_0039_5007] :
( r_0039_0001__Stopped(R_0039_0001__STOPPED)
& r_0039_0007__the_r_0039_0008__street(R_0039_0007__THE_R_0039_0008__STREET)
& z_0039_5007(Z_0039_5007)
& has_arg1(Z_0039_5007,R_0039_0004__AND)
& r_0039_0004__and(R_0039_0004__AND)
& has_conj2(R_0039_0004__AND,R_0039_0005__CHILDREN)
& r_0039_0005__children(R_0039_0005__CHILDREN)
& has_inv_arg0(R_0039_0005__CHILDREN,R_0039_0006__CROSSING)
& r_0039_0006__crossing(R_0039_0006__CROSSING)
& has_arg1(R_0039_0006__CROSSING,R_0039_0007__THE_R_0039_0008__STREET)
& 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_attrib(R_0039_0002__SCHOOL_R_0039_0003__BUSES,R_0039_0001__STOPPED) ) ).