Context                Previous, Next                Top


29_a_driver_handbook
Section 6: Reduced Speeds: Around Children (First Section)

%3 r_0029_0005__Speeds Speeds r_0029_0004__Reduced Reduced r_0029_0005__Speeds->r_0029_0004__Reduced [attrib] r_0029_0008__Children Children r_0029_0005__Speeds->r_0029_0008__Children Around r_0029_0011__Section Section r_0029_0010__First First r_0029_0011__Section->r_0029_0010__First [attrib] z_000_29_a_driver_handbook_1 z_000_29_a_driver_handbook_1->r_0029_0005__Speeds [nim] r_0029_0001__Section_r_0029_0002__6 Section 6 z_000_29_a_driver_handbook_1->r_0029_0001__Section_r_0029_0002__6 [nim] z_000_29_a_driver_handbook_25 z_000_29_a_driver_handbook_25->r_0029_0005__Speeds [arg0] z_000_29_a_driver_handbook_25->r_0029_0011__Section [prd] 
arc(r_0029_0005__Speeds, r_0029_0004__Reduced, attrib10).
arc(r_0029_0005__Speeds, r_0029_0008__Children, r_0029_0007__Around).
arc(r_0029_0011__Section, r_0029_0010__First, attrib27).
arc(z_000_29_a_driver_handbook_1, r_0029_0001__Section_r_0029_0002__6, nim2).
arc(z_000_29_a_driver_handbook_1, r_0029_0005__Speeds, nim9).
arc(z_000_29_a_driver_handbook_25, r_0029_0005__Speeds, arg0).
arc(z_000_29_a_driver_handbook_25, r_0029_0011__Section, prd).


%3 z_000_29_a_driver_handbook_25 r_0029_0011__Section Section z_000_29_a_driver_handbook_25->r_0029_0011__Section [prd] r_0029_0005__Speeds Speeds z_000_29_a_driver_handbook_25->r_0029_0005__Speeds [arg0] r_0029_0010__First First r_0029_0011__Section->r_0029_0010__First [attrib] r_0029_0008__Children Children r_0029_0005__Speeds->r_0029_0008__Children Around r_0029_0004__Reduced Reduced r_0029_0005__Speeds->r_0029_0004__Reduced [attrib] z_000_29_a_driver_handbook_1 z_000_29_a_driver_handbook_1->r_0029_0005__Speeds [nim] r_0029_0001__Section_r_0029_0002__6 Section 6 z_000_29_a_driver_handbook_1->r_0029_0001__Section_r_0029_0002__6 [nim] 
fof(formula,axiom,
    ? [Z_29_A_DRIVER_HANDBOOK_1,R_29_1_SECTION_6,Z_29_A_DRIVER_HANDBOOK_25,R_29_5_SPEEDS,R_29_4_REDUCED,R_29_8_CHILDREN,R_29_11_SECTION,R_29_10_FIRST] :
      ( section_6(R_29_1_SECTION_6)
      & reduced(R_29_4_REDUCED)
      & children(R_29_8_CHILDREN)
      & first(R_29_10_FIRST)
      & z_29_a_driver_handbook_1(Z_29_A_DRIVER_HANDBOOK_1)
      & nim2(Z_29_A_DRIVER_HANDBOOK_1,R_29_1_SECTION_6)
      & nim9(Z_29_A_DRIVER_HANDBOOK_1,R_29_5_SPEEDS)
      & speeds(R_29_5_SPEEDS)
      & attrib10(R_29_5_SPEEDS,R_29_4_REDUCED)
      & around(R_29_5_SPEEDS,R_29_8_CHILDREN)
      & z_29_a_driver_handbook_25(Z_29_A_DRIVER_HANDBOOK_25,R_29_5_SPEEDS,R_29_11_SECTION)
      & section(R_29_11_SECTION)
      & attrib27(R_29_11_SECTION,R_29_10_FIRST) ) ).


n29_a_driver_handbook n29_a_driver_handbook__1_1_1_1 Section n29_a_driver_handbook__1_1_2_1 6 n29_a_driver_handbook__1_2_1 : n29_a_driver_handbook__1_3_1_1_1 Reduced n29_a_driver_handbook__1_3_2_1 Speeds n29_a_driver_handbook__1_3_3_1 : n29_a_driver_handbook__1_3_4_1_1 Around n29_a_driver_handbook__1_3_4_2_1_1 Children n29_a_driver_handbook__1_3_5_1 -LRB- n29_a_driver_handbook__1_3_6_1_1_1_1 First n29_a_driver_handbook__1_3_6_1_2_1 Section n29_a_driver_handbook__1_3_7_1 -RRB- n29_a_driver_handbook__1 FRAG n29_a_driver_handbook__1_1 NP n29_a_driver_handbook__1->n29_a_driver_handbook__1_1 n29_a_driver_handbook__1_2 PUNC n29_a_driver_handbook__1->n29_a_driver_handbook__1_2 n29_a_driver_handbook__1_3 NP n29_a_driver_handbook__1->n29_a_driver_handbook__1_3 n29_a_driver_handbook__1_1_1 N n29_a_driver_handbook__1_1->n29_a_driver_handbook__1_1_1 n29_a_driver_handbook__1_1_2 NUM n29_a_driver_handbook__1_1->n29_a_driver_handbook__1_1_2 n29_a_driver_handbook__1_1_1->n29_a_driver_handbook__1_1_1_1 n29_a_driver_handbook__1_1_2->n29_a_driver_handbook__1_1_2_1 n29_a_driver_handbook__1_2->n29_a_driver_handbook__1_2_1 n29_a_driver_handbook__1_3_1 ADJP n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_1 n29_a_driver_handbook__1_3_2 NS n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_2 n29_a_driver_handbook__1_3_3 PUNC n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_3 n29_a_driver_handbook__1_3_4 PP n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_4 n29_a_driver_handbook__1_3_5 PUNC n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_5 n29_a_driver_handbook__1_3_6 IP-PPL n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_6 n29_a_driver_handbook__1_3_7 PUNC n29_a_driver_handbook__1_3->n29_a_driver_handbook__1_3_7 n29_a_driver_handbook__1_3_1_1 ADJ n29_a_driver_handbook__1_3_1->n29_a_driver_handbook__1_3_1_1 n29_a_driver_handbook__1_3_1_1->n29_a_driver_handbook__1_3_1_1_1 n29_a_driver_handbook__1_3_2->n29_a_driver_handbook__1_3_2_1 n29_a_driver_handbook__1_3_3->n29_a_driver_handbook__1_3_3_1 n29_a_driver_handbook__1_3_4_1 P-ROLE n29_a_driver_handbook__1_3_4->n29_a_driver_handbook__1_3_4_1 n29_a_driver_handbook__1_3_4_2 NP n29_a_driver_handbook__1_3_4->n29_a_driver_handbook__1_3_4_2 n29_a_driver_handbook__1_3_4_1->n29_a_driver_handbook__1_3_4_1_1 n29_a_driver_handbook__1_3_4_2_1 N n29_a_driver_handbook__1_3_4_2->n29_a_driver_handbook__1_3_4_2_1 n29_a_driver_handbook__1_3_4_2_1->n29_a_driver_handbook__1_3_4_2_1_1 n29_a_driver_handbook__1_3_5->n29_a_driver_handbook__1_3_5_1 n29_a_driver_handbook__1_3_6_1 NP-PRD n29_a_driver_handbook__1_3_6->n29_a_driver_handbook__1_3_6_1 n29_a_driver_handbook__1_3_6_1_1 ADJP n29_a_driver_handbook__1_3_6_1->n29_a_driver_handbook__1_3_6_1_1 n29_a_driver_handbook__1_3_6_1_2 N n29_a_driver_handbook__1_3_6_1->n29_a_driver_handbook__1_3_6_1_2 n29_a_driver_handbook__1_3_6_1_1_1 ADJ n29_a_driver_handbook__1_3_6_1_1->n29_a_driver_handbook__1_3_6_1_1_1 n29_a_driver_handbook__1_3_6_1_1_1->n29_a_driver_handbook__1_3_6_1_1_1_1 n29_a_driver_handbook__1_3_6_1_2->n29_a_driver_handbook__1_3_6_1_2_1 n29_a_driver_handbook__1_3_7->n29_a_driver_handbook__1_3_7_1 
( (FRAG (NP (N Section;{section})
            (NUM 6))
        (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 First;{first}))
                            (N Section;{section})))
            (PUNC -RRB-)))
  (ID 29_a_driver_handbook))