Context                Previous, Next                Top


39_a_law_h15a119
(2) The Basic Policy shall cover the following matters:

%3 r_0039_0007__shall shall r_0039_0008__cover cover r_0039_0007__shall->r_0039_0008__cover [scope] r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy The Basic Policy r_0039_0008__cover->r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy [arg0] r_0039_0009__the_r_0039_0011__matters the matters r_0039_0008__cover->r_0039_0009__the_r_0039_0011__matters [arg1] r_0039_0010__following following r_0039_0009__the_r_0039_0011__matters->r_0039_0010__following [attrib] 
arc(r_0039_0007__shall, r_0039_0008__cover, scope).
arc(r_0039_0008__cover, r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy, arg0).
arc(r_0039_0008__cover, r_0039_0009__the_r_0039_0011__matters, arg1).
arc(r_0039_0009__the_r_0039_0011__matters, r_0039_0010__following, attrib24).


%3 r_0039_0007__shall_r_0039_0008__cover shall cover r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy The Basic Policy r_0039_0007__shall_r_0039_0008__cover->r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy [arg0] r_0039_0009__the_r_0039_0011__matters the matters r_0039_0007__shall_r_0039_0008__cover->r_0039_0009__the_r_0039_0011__matters [arg1] r_0039_0010__following following r_0039_0009__the_r_0039_0011__matters->r_0039_0010__following [attrib] 
fof(formula,axiom,
    ? [R_39_7_SHALL_COVER,R_39_4_THE_BASIC_POLICY,R_39_9_THE_MATTERS,R_39_10_FOLLOWING] :
      ( the_Basic_Policy(R_39_4_THE_BASIC_POLICY)
      & following(R_39_10_FOLLOWING)
      & shall_cover(R_39_7_SHALL_COVER,R_39_4_THE_BASIC_POLICY,R_39_9_THE_MATTERS)
      & the_matters(R_39_9_THE_MATTERS)
      & attrib24(R_39_9_THE_MATTERS,R_39_10_FOLLOWING) ) ).


n39_a_law_h15a119 n39_a_law_h15a119_4 -LRB- n39_a_law_h15a119_6 2 n39_a_law_h15a119_8 -RRB- n39_a_law_h15a119_11 The n39_a_law_h15a119_13 Basic n39_a_law_h15a119_15 Policy n39_a_law_h15a119_17 shall n39_a_law_h15a119_20 cover n39_a_law_h15a119_23 the n39_a_law_h15a119_26 following n39_a_law_h15a119_28 matters n39_a_law_h15a119_30 : n39_a_law_h15a119_1 IP-MAT n39_a_law_h15a119_2 LST n39_a_law_h15a119_1->n39_a_law_h15a119_2 n39_a_law_h15a119_9 NP-SBJ n39_a_law_h15a119_1->n39_a_law_h15a119_9 n39_a_law_h15a119_16 MD;_cat_Vi_ n39_a_law_h15a119_1->n39_a_law_h15a119_16 n39_a_law_h15a119_18 IP-INF-CAT n39_a_law_h15a119_1->n39_a_law_h15a119_18 n39_a_law_h15a119_3 PULB n39_a_law_h15a119_2->n39_a_law_h15a119_3 n39_a_law_h15a119_5 LS n39_a_law_h15a119_2->n39_a_law_h15a119_5 n39_a_law_h15a119_7 PURB n39_a_law_h15a119_2->n39_a_law_h15a119_7 n39_a_law_h15a119_3->n39_a_law_h15a119_4 n39_a_law_h15a119_5->n39_a_law_h15a119_6 n39_a_law_h15a119_7->n39_a_law_h15a119_8 n39_a_law_h15a119_10 D n39_a_law_h15a119_9->n39_a_law_h15a119_10 n39_a_law_h15a119_12 NPR n39_a_law_h15a119_9->n39_a_law_h15a119_12 n39_a_law_h15a119_14 NPR n39_a_law_h15a119_9->n39_a_law_h15a119_14 n39_a_law_h15a119_10->n39_a_law_h15a119_11 n39_a_law_h15a119_12->n39_a_law_h15a119_13 n39_a_law_h15a119_14->n39_a_law_h15a119_15 n39_a_law_h15a119_16->n39_a_law_h15a119_17 n39_a_law_h15a119_19 VB;_Tn_ n39_a_law_h15a119_18->n39_a_law_h15a119_19 n39_a_law_h15a119_21 NP-OB1 n39_a_law_h15a119_18->n39_a_law_h15a119_21 n39_a_law_h15a119_19->n39_a_law_h15a119_20 n39_a_law_h15a119_22 D n39_a_law_h15a119_21->n39_a_law_h15a119_22 n39_a_law_h15a119_24 ADJP n39_a_law_h15a119_21->n39_a_law_h15a119_24 n39_a_law_h15a119_27 NS n39_a_law_h15a119_21->n39_a_law_h15a119_27 n39_a_law_h15a119_29 PUNC n39_a_law_h15a119_21->n39_a_law_h15a119_29 n39_a_law_h15a119_22->n39_a_law_h15a119_23 n39_a_law_h15a119_25 ADJ n39_a_law_h15a119_24->n39_a_law_h15a119_25 n39_a_law_h15a119_25->n39_a_law_h15a119_26 n39_a_law_h15a119_27->n39_a_law_h15a119_28 n39_a_law_h15a119_29->n39_a_law_h15a119_30 
( (IP-MAT (LST (PULB -LRB-)
               (LS 2)
               (PURB -RRB-))
          (NP-SBJ (D The;{the})
                  (NPR Basic;{Basic})
                  (NPR Policy;{Policy}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;_Tn_ cover;{cover})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ following;{following}))
                              (NS matters;{matter})
                              (PUNC :))))
  (ID 39_a_law_h15a119;31_3_7_2))