39_a_law_h15a119
(2) The Basic Policy shall cover the following matters:
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).
fof(formula,axiom,
? [R_0039_0004__THE_R_0039_0005__BASIC_R_0039_0006__POLICY,R_0039_0010__FOLLOWING,R_0039_0009__THE_R_0039_0011__MATTERS,R_0039_0007__SHALL_R_0039_0008__COVER] :
( r_0039_0004__The_r_0039_0005__Basic_r_0039_0006__Policy(R_0039_0004__THE_R_0039_0005__BASIC_R_0039_0006__POLICY)
& r_0039_0010__following(R_0039_0010__FOLLOWING)
& r_0039_0007__shall_r_0039_0008__cover(R_0039_0007__SHALL_R_0039_0008__COVER)
& has_arg1(R_0039_0007__SHALL_R_0039_0008__COVER,R_0039_0009__THE_R_0039_0011__MATTERS)
& r_0039_0009__the_r_0039_0011__matters(R_0039_0009__THE_R_0039_0011__MATTERS)
& has_attrib24(R_0039_0009__THE_R_0039_0011__MATTERS,R_0039_0010__FOLLOWING)
& has_arg0(R_0039_0007__SHALL_R_0039_0008__COVER,R_0039_0004__THE_R_0039_0005__BASIC_R_0039_0006__POLICY) ) ).
( (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))