( (IP-MAT (NP-SBJ (D A;{a})
                  (N statement;{statement}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tnt_ expected;{expect})
                      (ADVP-NIM (ADV today;{today}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Cn.a_ hold;{hold})
                                  (NP-OB1 (D the;{the})
                                          (N door;{door}))
                                  (ADJP-PRD (ADJ open;{open})
                                            (PP (P-ROLE for;{for})
                                                (NP (NS modifications;{modification})
                                                    (PP (P-ROLE to;{to})
                                                        (NP (D the;{the})
                                                            (ADJP (ADJ new;{new}))
                                                            (N constitution;{constitution}))))))
                                  (PP-SCON (P-CONN provided;{provided})
                                           (IP-ADV (NP-SBJ (NLYR (NLYR (N law;{law}))
                                                                 (CONJP (CONJ and;{and})
                                                                        (NLYR (N order;{order})))))
                                                   (BEP;_cat_VePASS_ is;{be})
                                                   (IP-PPL-CAT (NP-LGS *)
                                                               (VVN;_Tn_ maintained;{maintain})
                                                               (PP-NIM (P-ROLE in;{in})
                                                                       (NP (NPR Northern;{Northern})
                                                                           (NPR Rhodesia;{Rhodesia}))))))))
          (PUNC .))
  (ID 85_a_lob_a02))

arc(r_0085_0003__is,r_0085_0004__expected,scope).
arc(r_0085_0004__expected,r_0085_0005__today,nim).
arc(r_0085_0004__expected,r_0085_0017__provided,arg1).
arc(r_0085_0004__expected,z_0085_5019___star_,arg0).
arc(r_0085_0007__hold,r_0085_0001__A_r_0085_0002__statement,arg0).
arc(r_0085_0007__hold,r_0085_0008__the_r_0085_0009__door,arg1).
arc(r_0085_0007__hold,r_0085_0010__open,prd).
arc(r_0085_0010__open,r_0085_0012__modifications,r_0085_0011__for).
arc(r_0085_0012__modifications,r_0085_0014__the_r_0085_0016__constitution,r_0085_0013__to).
arc(r_0085_0014__the_r_0085_0016__constitution,r_0085_0015__new,attrib).
arc(r_0085_0017__provided,r_0085_0007__hold,scope).
arc(r_0085_0017__provided,r_0085_0021__is,restriction).
arc(r_0085_0019__and,r_0085_0018__law,conj1).
arc(r_0085_0019__and,r_0085_0020__order,conj2).
arc(r_0085_0021__is,r_0085_0022__maintained,scope).
arc(r_0085_0022__maintained,r_0085_0019__and,arg1).
arc(r_0085_0022__maintained,r_0085_0024__Northern_r_0085_0025__Rhodesia,r_0085_0023__in__nim).
arc(r_0085_0022__maintained,z_0085_5010___star_,arg0).

fof(formula,axiom,
    ? [R_0085_0005__TODAY,R_0085_0001__A_R_0085_0002__STATEMENT,R_0085_0008__THE_R_0085_0009__DOOR,R_0085_0015__NEW,R_0085_0014__THE_R_0085_0016__CONSTITUTION,R_0085_0012__MODIFICATIONS,R_0085_0010__OPEN,R_0085_0007__HOLD,R_0085_0018__LAW,R_0085_0020__ORDER,R_0085_0019__AND,R_0085_0024__NORTHERN_R_0085_0025__RHODESIA,Z_0085_5010___STAR_,R_0085_0021__IS_R_0085_0022__MAINTAINED,R_0085_0017__PROVIDED,Z_0085_5019___STAR_,R_0085_0003__IS_R_0085_0004__EXPECTED] :
      ( r_0085_0001__A_r_0085_0002__statement(R_0085_0001__A_R_0085_0002__STATEMENT)
      & r_0085_0005__today(R_0085_0005__TODAY)
      & r_0085_0008__the_r_0085_0009__door(R_0085_0008__THE_R_0085_0009__DOOR)
      & r_0085_0015__new(R_0085_0015__NEW)
      & r_0085_0018__law(R_0085_0018__LAW)
      & r_0085_0020__order(R_0085_0020__ORDER)
      & r_0085_0024__Northern_r_0085_0025__Rhodesia(R_0085_0024__NORTHERN_R_0085_0025__RHODESIA)
      & z_0085_5010___star_(Z_0085_5010___STAR_)
      & z_0085_5019___star_(Z_0085_5019___STAR_)
      & r_0085_0003__is_r_0085_0004__expected(R_0085_0003__IS_R_0085_0004__EXPECTED)
      & has_arg0(R_0085_0003__IS_R_0085_0004__EXPECTED,Z_0085_5019___STAR_)
      & has_arg1(R_0085_0003__IS_R_0085_0004__EXPECTED,R_0085_0017__PROVIDED)
      & r_0085_0017__provided(R_0085_0017__PROVIDED)
      & has_conj1(R_0085_0017__PROVIDED,R_0085_0021__IS_R_0085_0022__MAINTAINED)
      & r_0085_0021__is_r_0085_0022__maintained(R_0085_0021__IS_R_0085_0022__MAINTAINED)
      & has_arg0(R_0085_0021__IS_R_0085_0022__MAINTAINED,Z_0085_5010___STAR_)
      & has_r_0085_0023__in__nim(R_0085_0021__IS_R_0085_0022__MAINTAINED,R_0085_0024__NORTHERN_R_0085_0025__RHODESIA)
      & has_arg1(R_0085_0021__IS_R_0085_0022__MAINTAINED,R_0085_0019__AND)
      & r_0085_0019__and(R_0085_0019__AND)
      & has_conj2(R_0085_0019__AND,R_0085_0020__ORDER)
      & has_conj1(R_0085_0019__AND,R_0085_0018__LAW)
      & has_conj2(R_0085_0017__PROVIDED,R_0085_0007__HOLD)
      & r_0085_0007__hold(R_0085_0007__HOLD)
      & has_prd(R_0085_0007__HOLD,R_0085_0010__OPEN)
      & r_0085_0010__open(R_0085_0010__OPEN)
      & has_r_0085_0011__for(R_0085_0010__OPEN,R_0085_0012__MODIFICATIONS)
      & r_0085_0012__modifications(R_0085_0012__MODIFICATIONS)
      & has_r_0085_0013__to(R_0085_0012__MODIFICATIONS,R_0085_0014__THE_R_0085_0016__CONSTITUTION)
      & r_0085_0014__the_r_0085_0016__constitution(R_0085_0014__THE_R_0085_0016__CONSTITUTION)
      & has_attrib(R_0085_0014__THE_R_0085_0016__CONSTITUTION,R_0085_0015__NEW)
      & has_arg1(R_0085_0007__HOLD,R_0085_0008__THE_R_0085_0009__DOOR)
      & has_arg0(R_0085_0007__HOLD,R_0085_0001__A_R_0085_0002__STATEMENT)
      & has_nim(R_0085_0003__IS_R_0085_0004__EXPECTED,R_0085_0005__TODAY) ) ).