Context                Previous, Next                Top


35_a_driver_handbook
Section 7: Reduced Speeds: Around Children (Second Section)

%3 r_0035_0005__Speeds Speeds r_0035_0004__Reduced Reduced r_0035_0005__Speeds->r_0035_0004__Reduced [attrib] r_0035_0008__Children Children r_0035_0005__Speeds->r_0035_0008__Children Around r_0035_0011__Section Section r_0035_0010__Second Second r_0035_0011__Section->r_0035_0010__Second [attrib] z_000_35_a_driver_handbook_1 z_000_35_a_driver_handbook_1->r_0035_0005__Speeds [nim] r_0035_0001__Section_r_0035_0002__7 Section 7 z_000_35_a_driver_handbook_1->r_0035_0001__Section_r_0035_0002__7 [nim] z_000_35_a_driver_handbook_25 z_000_35_a_driver_handbook_25->r_0035_0005__Speeds [arg0] z_000_35_a_driver_handbook_25->r_0035_0011__Section [prd] 
arc(r_0035_0005__Speeds, r_0035_0004__Reduced, attrib10).
arc(r_0035_0005__Speeds, r_0035_0008__Children, r_0035_0007__Around).
arc(r_0035_0011__Section, r_0035_0010__Second, attrib27).
arc(z_000_35_a_driver_handbook_1, r_0035_0001__Section_r_0035_0002__7, nim2).
arc(z_000_35_a_driver_handbook_1, r_0035_0005__Speeds, nim9).
arc(z_000_35_a_driver_handbook_25, r_0035_0005__Speeds, arg0).
arc(z_000_35_a_driver_handbook_25, r_0035_0011__Section, prd).


%3 z_000_35_a_driver_handbook_25 r_0035_0011__Section Section z_000_35_a_driver_handbook_25->r_0035_0011__Section [prd] r_0035_0005__Speeds Speeds z_000_35_a_driver_handbook_25->r_0035_0005__Speeds [arg0] r_0035_0010__Second Second r_0035_0011__Section->r_0035_0010__Second [attrib] r_0035_0008__Children Children r_0035_0005__Speeds->r_0035_0008__Children Around r_0035_0004__Reduced Reduced r_0035_0005__Speeds->r_0035_0004__Reduced [attrib] z_000_35_a_driver_handbook_1 z_000_35_a_driver_handbook_1->r_0035_0005__Speeds [nim] r_0035_0001__Section_r_0035_0002__7 Section 7 z_000_35_a_driver_handbook_1->r_0035_0001__Section_r_0035_0002__7 [nim] 
fof(formula,axiom,
    ? [R_0035_0001__SECTION_R_0035_0002__7,R_0035_0004__REDUCED,R_0035_0008__CHILDREN,R_0035_0005__SPEEDS,Z_000_35_A_DRIVER_HANDBOOK_1,R_0035_0010__SECOND,R_0035_0011__SECTION,Z_000_35_A_DRIVER_HANDBOOK_25] :
      ( r_0035_0001__Section_r_0035_0002__7(R_0035_0001__SECTION_R_0035_0002__7)
      & r_0035_0004__Reduced(R_0035_0004__REDUCED)
      & r_0035_0008__Children(R_0035_0008__CHILDREN)
      & r_0035_0010__Second(R_0035_0010__SECOND)
      & z_000_35_a_driver_handbook_25(Z_000_35_A_DRIVER_HANDBOOK_25)
      & has_prd(Z_000_35_A_DRIVER_HANDBOOK_25,R_0035_0011__SECTION)
      & r_0035_0011__Section(R_0035_0011__SECTION)
      & has_attrib27(R_0035_0011__SECTION,R_0035_0010__SECOND)
      & has_arg0(Z_000_35_A_DRIVER_HANDBOOK_25,R_0035_0005__SPEEDS)
      & r_0035_0005__Speeds(R_0035_0005__SPEEDS)
      & has_r_0035_0007__Around(R_0035_0005__SPEEDS,R_0035_0008__CHILDREN)
      & has_attrib10(R_0035_0005__SPEEDS,R_0035_0004__REDUCED)
      & z_000_35_a_driver_handbook_1(Z_000_35_A_DRIVER_HANDBOOK_1)
      & has_nim9(Z_000_35_A_DRIVER_HANDBOOK_1,R_0035_0005__SPEEDS)
      & has_nim2(Z_000_35_A_DRIVER_HANDBOOK_1,R_0035_0001__SECTION_R_0035_0002__7) ) ).


n35_a_driver_handbook n35_a_driver_handbook__1_1_1_1 Section n35_a_driver_handbook__1_1_2_1 7 n35_a_driver_handbook__1_2_1 : n35_a_driver_handbook__1_3_1_1_1 Reduced n35_a_driver_handbook__1_3_2_1 Speeds n35_a_driver_handbook__1_3_3_1 : n35_a_driver_handbook__1_3_4_1_1 Around n35_a_driver_handbook__1_3_4_2_1_1 Children n35_a_driver_handbook__1_3_5_1 -LRB- n35_a_driver_handbook__1_3_6_1_1_1_1 Second n35_a_driver_handbook__1_3_6_1_2_1 Section n35_a_driver_handbook__1_3_7_1 -RRB- n35_a_driver_handbook__1 FRAG n35_a_driver_handbook__1_1 NP n35_a_driver_handbook__1->n35_a_driver_handbook__1_1 n35_a_driver_handbook__1_2 PUNC n35_a_driver_handbook__1->n35_a_driver_handbook__1_2 n35_a_driver_handbook__1_3 NP n35_a_driver_handbook__1->n35_a_driver_handbook__1_3 n35_a_driver_handbook__1_1_1 N n35_a_driver_handbook__1_1->n35_a_driver_handbook__1_1_1 n35_a_driver_handbook__1_1_2 NUM n35_a_driver_handbook__1_1->n35_a_driver_handbook__1_1_2 n35_a_driver_handbook__1_1_1->n35_a_driver_handbook__1_1_1_1 n35_a_driver_handbook__1_1_2->n35_a_driver_handbook__1_1_2_1 n35_a_driver_handbook__1_2->n35_a_driver_handbook__1_2_1 n35_a_driver_handbook__1_3_1 ADJP n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_1 n35_a_driver_handbook__1_3_2 NS n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_2 n35_a_driver_handbook__1_3_3 PUNC n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_3 n35_a_driver_handbook__1_3_4 PP n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_4 n35_a_driver_handbook__1_3_5 PUNC n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_5 n35_a_driver_handbook__1_3_6 IP-PPL n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_6 n35_a_driver_handbook__1_3_7 PUNC n35_a_driver_handbook__1_3->n35_a_driver_handbook__1_3_7 n35_a_driver_handbook__1_3_1_1 ADJ n35_a_driver_handbook__1_3_1->n35_a_driver_handbook__1_3_1_1 n35_a_driver_handbook__1_3_1_1->n35_a_driver_handbook__1_3_1_1_1 n35_a_driver_handbook__1_3_2->n35_a_driver_handbook__1_3_2_1 n35_a_driver_handbook__1_3_3->n35_a_driver_handbook__1_3_3_1 n35_a_driver_handbook__1_3_4_1 P-ROLE n35_a_driver_handbook__1_3_4->n35_a_driver_handbook__1_3_4_1 n35_a_driver_handbook__1_3_4_2 NP n35_a_driver_handbook__1_3_4->n35_a_driver_handbook__1_3_4_2 n35_a_driver_handbook__1_3_4_1->n35_a_driver_handbook__1_3_4_1_1 n35_a_driver_handbook__1_3_4_2_1 N n35_a_driver_handbook__1_3_4_2->n35_a_driver_handbook__1_3_4_2_1 n35_a_driver_handbook__1_3_4_2_1->n35_a_driver_handbook__1_3_4_2_1_1 n35_a_driver_handbook__1_3_5->n35_a_driver_handbook__1_3_5_1 n35_a_driver_handbook__1_3_6_1 NP-PRD n35_a_driver_handbook__1_3_6->n35_a_driver_handbook__1_3_6_1 n35_a_driver_handbook__1_3_6_1_1 ADJP n35_a_driver_handbook__1_3_6_1->n35_a_driver_handbook__1_3_6_1_1 n35_a_driver_handbook__1_3_6_1_2 N n35_a_driver_handbook__1_3_6_1->n35_a_driver_handbook__1_3_6_1_2 n35_a_driver_handbook__1_3_6_1_1_1 ADJ n35_a_driver_handbook__1_3_6_1_1->n35_a_driver_handbook__1_3_6_1_1_1 n35_a_driver_handbook__1_3_6_1_1_1->n35_a_driver_handbook__1_3_6_1_1_1_1 n35_a_driver_handbook__1_3_6_1_2->n35_a_driver_handbook__1_3_6_1_2_1 n35_a_driver_handbook__1_3_7->n35_a_driver_handbook__1_3_7_1 
( (FRAG (NP (N Section;{section})
            (NUM 7))
        (PUNC :)
        (NP (ADJP (ADJ Reduced;{reduced}))
            (NS Speeds;{speed})
            (PUNC :)
            (PP (P-ROLE Around;{around})
                (NP (N Children;{child})))
            (PUNC -LRB-)
            (IP-PPL (NP-PRD (ADJP (ADJ Second;{second}))
                            (N Section;{section})))
            (PUNC -RRB-)))
  (ID 35_a_driver_handbook))