39_a_law_h15a119
(2) The Basic Policy shall cover the following matters:
( (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))
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,attrib).
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_attrib(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) ) ).