Context                Previous, Next                Top


85_a_lob_a02
A statement is expected today to hold the door open for modifications to the new constitution provided law and order is maintained in Northern Rhodesia.

%3 r_0085_0003__is is r_0085_0004__expected expected r_0085_0003__is->r_0085_0004__expected [scope] r_0085_0005__today today r_0085_0004__expected->r_0085_0005__today [nim] r_0085_0017__provided provided r_0085_0004__expected->r_0085_0017__provided [arg1] z_000_85_a_lob_a02_10 r_0085_0004__expected->z_000_85_a_lob_a02_10 [arg0] r_0085_0006__to_r_0085_0007__hold to hold r_0085_0017__provided->r_0085_0006__to_r_0085_0007__hold [scope] r_0085_0021__is is r_0085_0017__provided->r_0085_0021__is [restriction] r_0085_0001__A_r_0085_0002__statement A statement r_0085_0006__to_r_0085_0007__hold->r_0085_0001__A_r_0085_0002__statement [arg0] r_0085_0008__the_r_0085_0009__door the door r_0085_0006__to_r_0085_0007__hold->r_0085_0008__the_r_0085_0009__door [arg1] r_0085_0010__open open r_0085_0006__to_r_0085_0007__hold->r_0085_0010__open [prd] r_0085_0012__modifications modifications r_0085_0010__open->r_0085_0012__modifications for r_0085_0014__the_r_0085_0016__constitution the constitution r_0085_0012__modifications->r_0085_0014__the_r_0085_0016__constitution to r_0085_0015__new new r_0085_0014__the_r_0085_0016__constitution->r_0085_0015__new [attrib] r_0085_0022__maintained maintained r_0085_0021__is->r_0085_0022__maintained [scope] r_0085_0019__and and r_0085_0018__law law r_0085_0019__and->r_0085_0018__law [conj1] r_0085_0020__order order r_0085_0019__and->r_0085_0020__order [conj2] r_0085_0022__maintained->r_0085_0019__and [arg1] r_0085_0024__Northern_r_0085_0025__Rhodesia Northern Rhodesia r_0085_0022__maintained->r_0085_0024__Northern_r_0085_0025__Rhodesia in [nim] z_000_85_a_lob_a02_65 r_0085_0022__maintained->z_000_85_a_lob_a02_65 [arg0] 
arc(r_0085_0003__is, r_0085_0004__expected, scope).
arc(r_0085_0004__expected, r_0085_0005__today, nim14).
arc(r_0085_0004__expected, r_0085_0017__provided, arg1).
arc(r_0085_0004__expected, z_000_85_a_lob_a02_10, arg0).
arc(r_0085_0006__to_r_0085_0007__hold, r_0085_0001__A_r_0085_0002__statement, arg0).
arc(r_0085_0006__to_r_0085_0007__hold, r_0085_0008__the_r_0085_0009__door, arg1).
arc(r_0085_0006__to_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, attrib42).
arc(r_0085_0017__provided, r_0085_0006__to_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_nim72).
arc(r_0085_0022__maintained, z_000_85_a_lob_a02_65, arg0).


%3 r_0085_0003__is_r_0085_0004__expected is expected r_0085_0005__today today r_0085_0003__is_r_0085_0004__expected->r_0085_0005__today [nim] r_0085_0017__provided provided r_0085_0003__is_r_0085_0004__expected->r_0085_0017__provided [arg1] z_000_85_a_lob_a02_10 r_0085_0003__is_r_0085_0004__expected->z_000_85_a_lob_a02_10 [arg0] r_0085_0006__to_r_0085_0007__hold to hold r_0085_0017__provided->r_0085_0006__to_r_0085_0007__hold [conj2] r_0085_0021__is_r_0085_0022__maintained is maintained r_0085_0017__provided->r_0085_0021__is_r_0085_0022__maintained [conj1] r_0085_0001__A_r_0085_0002__statement A statement r_0085_0006__to_r_0085_0007__hold->r_0085_0001__A_r_0085_0002__statement [arg0] r_0085_0008__the_r_0085_0009__door the door r_0085_0006__to_r_0085_0007__hold->r_0085_0008__the_r_0085_0009__door [arg1] r_0085_0010__open open r_0085_0006__to_r_0085_0007__hold->r_0085_0010__open [prd] r_0085_0012__modifications modifications r_0085_0010__open->r_0085_0012__modifications for r_0085_0014__the_r_0085_0016__constitution the constitution r_0085_0012__modifications->r_0085_0014__the_r_0085_0016__constitution to r_0085_0015__new new r_0085_0014__the_r_0085_0016__constitution->r_0085_0015__new [attrib] r_0085_0019__and and r_0085_0021__is_r_0085_0022__maintained->r_0085_0019__and [arg1] r_0085_0024__Northern_r_0085_0025__Rhodesia Northern Rhodesia r_0085_0021__is_r_0085_0022__maintained->r_0085_0024__Northern_r_0085_0025__Rhodesia in [nim] z_000_85_a_lob_a02_65 r_0085_0021__is_r_0085_0022__maintained->z_000_85_a_lob_a02_65 [arg0] r_0085_0018__law law r_0085_0019__and->r_0085_0018__law [conj1] r_0085_0020__order order r_0085_0019__and->r_0085_0020__order [conj2] 
fof(formula,axiom,
    ? [R_85_3_IS_EXPECTED,Z_85_A_LOB_A02_10,R_85_17_PROVIDED,R_85_21_IS_MAINTAINED,Z_85_A_LOB_A02_65,R_85_19_AND,R_85_18_LAW,R_85_20_ORDER,R_85_24_NORTHERN_RHODESIA,R_85_6_TO_HOLD,R_85_1_A_STATEMENT,R_85_8_THE_DOOR,R_85_10_OPEN,R_85_12_MODIFICATIONS,R_85_14_THE_CONSTITUTION,R_85_15_NEW,R_85_5_TODAY] :
      ( law(R_85_18_LAW)
      & order(R_85_20_ORDER)
      & northern_Rhodesia(R_85_24_NORTHERN_RHODESIA)
      & a_statement(R_85_1_A_STATEMENT)
      & the_door(R_85_8_THE_DOOR)
      & new(R_85_15_NEW)
      & today(R_85_5_TODAY)
      & is_expected(R_85_3_IS_EXPECTED,Z_85_A_LOB_A02_10,R_85_17_PROVIDED)
      & provided(R_85_17_PROVIDED)
      & conj1(R_85_17_PROVIDED,R_85_21_IS_MAINTAINED)
      & is_maintained(R_85_21_IS_MAINTAINED,Z_85_A_LOB_A02_65,R_85_19_AND)
      & and(R_85_19_AND)
      & conj1(R_85_19_AND,R_85_18_LAW)
      & conj2(R_85_19_AND,R_85_20_ORDER)
      & in_nim72(R_85_21_IS_MAINTAINED,R_85_24_NORTHERN_RHODESIA)
      & conj2(R_85_17_PROVIDED,R_85_6_TO_HOLD)
      & to_hold(R_85_6_TO_HOLD,R_85_1_A_STATEMENT,R_85_8_THE_DOOR,R_85_10_OPEN)
      & open(R_85_10_OPEN)
      & for(R_85_10_OPEN,R_85_12_MODIFICATIONS)
      & modifications(R_85_12_MODIFICATIONS)
      & to(R_85_12_MODIFICATIONS,R_85_14_THE_CONSTITUTION)
      & the_constitution(R_85_14_THE_CONSTITUTION)
      & attrib42(R_85_14_THE_CONSTITUTION,R_85_15_NEW)
      & nim14(R_85_3_IS_EXPECTED,R_85_5_TODAY) ) ).


n85_a_lob_a02 n85_a_lob_a02_4 A n85_a_lob_a02_6 statement n85_a_lob_a02_8 is n85_a_lob_a02_11 * n85_a_lob_a02_13 expected n85_a_lob_a02_16 today n85_a_lob_a02_19 to n85_a_lob_a02_21 hold n85_a_lob_a02_24 the n85_a_lob_a02_26 door n85_a_lob_a02_29 open n85_a_lob_a02_32 for n85_a_lob_a02_35 modifications n85_a_lob_a02_38 to n85_a_lob_a02_41 the n85_a_lob_a02_44 new n85_a_lob_a02_46 constitution n85_a_lob_a02_49 provided n85_a_lob_a02_55 law n85_a_lob_a02_58 and n85_a_lob_a02_61 order n85_a_lob_a02_63 is n85_a_lob_a02_66 * n85_a_lob_a02_68 maintained n85_a_lob_a02_71 in n85_a_lob_a02_74 Northern n85_a_lob_a02_76 Rhodesia n85_a_lob_a02_78 . n85_a_lob_a02_1 IP-MAT n85_a_lob_a02_2 NP-SBJ n85_a_lob_a02_1->n85_a_lob_a02_2 n85_a_lob_a02_7 BEP;_cat_VePASS_ n85_a_lob_a02_1->n85_a_lob_a02_7 n85_a_lob_a02_9 IP-PPL-CAT n85_a_lob_a02_1->n85_a_lob_a02_9 n85_a_lob_a02_77 PUNC n85_a_lob_a02_1->n85_a_lob_a02_77 n85_a_lob_a02_3 D n85_a_lob_a02_2->n85_a_lob_a02_3 n85_a_lob_a02_5 N n85_a_lob_a02_2->n85_a_lob_a02_5 n85_a_lob_a02_3->n85_a_lob_a02_4 n85_a_lob_a02_5->n85_a_lob_a02_6 n85_a_lob_a02_7->n85_a_lob_a02_8 n85_a_lob_a02_10 NP-LGS n85_a_lob_a02_9->n85_a_lob_a02_10 n85_a_lob_a02_12 VVN;_Tnt_ n85_a_lob_a02_9->n85_a_lob_a02_12 n85_a_lob_a02_14 ADVP-NIM n85_a_lob_a02_9->n85_a_lob_a02_14 n85_a_lob_a02_17 IP-INF-OB1 n85_a_lob_a02_9->n85_a_lob_a02_17 n85_a_lob_a02_10->n85_a_lob_a02_11 n85_a_lob_a02_12->n85_a_lob_a02_13 n85_a_lob_a02_15 ADV n85_a_lob_a02_14->n85_a_lob_a02_15 n85_a_lob_a02_15->n85_a_lob_a02_16 n85_a_lob_a02_18 TO n85_a_lob_a02_17->n85_a_lob_a02_18 n85_a_lob_a02_20 VB;_Cn.a_ n85_a_lob_a02_17->n85_a_lob_a02_20 n85_a_lob_a02_22 NP-OB1 n85_a_lob_a02_17->n85_a_lob_a02_22 n85_a_lob_a02_27 ADJP-PRD n85_a_lob_a02_17->n85_a_lob_a02_27 n85_a_lob_a02_47 PP-SCON n85_a_lob_a02_17->n85_a_lob_a02_47 n85_a_lob_a02_18->n85_a_lob_a02_19 n85_a_lob_a02_20->n85_a_lob_a02_21 n85_a_lob_a02_23 D n85_a_lob_a02_22->n85_a_lob_a02_23 n85_a_lob_a02_25 N n85_a_lob_a02_22->n85_a_lob_a02_25 n85_a_lob_a02_23->n85_a_lob_a02_24 n85_a_lob_a02_25->n85_a_lob_a02_26 n85_a_lob_a02_28 ADJ n85_a_lob_a02_27->n85_a_lob_a02_28 n85_a_lob_a02_30 PP n85_a_lob_a02_27->n85_a_lob_a02_30 n85_a_lob_a02_28->n85_a_lob_a02_29 n85_a_lob_a02_31 P-ROLE n85_a_lob_a02_30->n85_a_lob_a02_31 n85_a_lob_a02_33 NP n85_a_lob_a02_30->n85_a_lob_a02_33 n85_a_lob_a02_31->n85_a_lob_a02_32 n85_a_lob_a02_34 NS n85_a_lob_a02_33->n85_a_lob_a02_34 n85_a_lob_a02_36 PP n85_a_lob_a02_33->n85_a_lob_a02_36 n85_a_lob_a02_34->n85_a_lob_a02_35 n85_a_lob_a02_37 P-ROLE n85_a_lob_a02_36->n85_a_lob_a02_37 n85_a_lob_a02_39 NP n85_a_lob_a02_36->n85_a_lob_a02_39 n85_a_lob_a02_37->n85_a_lob_a02_38 n85_a_lob_a02_40 D n85_a_lob_a02_39->n85_a_lob_a02_40 n85_a_lob_a02_42 ADJP n85_a_lob_a02_39->n85_a_lob_a02_42 n85_a_lob_a02_45 N n85_a_lob_a02_39->n85_a_lob_a02_45 n85_a_lob_a02_40->n85_a_lob_a02_41 n85_a_lob_a02_43 ADJ n85_a_lob_a02_42->n85_a_lob_a02_43 n85_a_lob_a02_43->n85_a_lob_a02_44 n85_a_lob_a02_45->n85_a_lob_a02_46 n85_a_lob_a02_48 P-CONN n85_a_lob_a02_47->n85_a_lob_a02_48 n85_a_lob_a02_50 IP-ADV n85_a_lob_a02_47->n85_a_lob_a02_50 n85_a_lob_a02_48->n85_a_lob_a02_49 n85_a_lob_a02_51 NP-SBJ n85_a_lob_a02_50->n85_a_lob_a02_51 n85_a_lob_a02_62 BEP;_cat_VePASS_ n85_a_lob_a02_50->n85_a_lob_a02_62 n85_a_lob_a02_64 IP-PPL-CAT n85_a_lob_a02_50->n85_a_lob_a02_64 n85_a_lob_a02_52 NLYR n85_a_lob_a02_51->n85_a_lob_a02_52 n85_a_lob_a02_53 NLYR n85_a_lob_a02_52->n85_a_lob_a02_53 n85_a_lob_a02_56 CONJP n85_a_lob_a02_52->n85_a_lob_a02_56 n85_a_lob_a02_54 N n85_a_lob_a02_53->n85_a_lob_a02_54 n85_a_lob_a02_54->n85_a_lob_a02_55 n85_a_lob_a02_57 CONJ n85_a_lob_a02_56->n85_a_lob_a02_57 n85_a_lob_a02_59 NLYR n85_a_lob_a02_56->n85_a_lob_a02_59 n85_a_lob_a02_57->n85_a_lob_a02_58 n85_a_lob_a02_60 N n85_a_lob_a02_59->n85_a_lob_a02_60 n85_a_lob_a02_60->n85_a_lob_a02_61 n85_a_lob_a02_62->n85_a_lob_a02_63 n85_a_lob_a02_65 NP-LGS n85_a_lob_a02_64->n85_a_lob_a02_65 n85_a_lob_a02_67 VVN;_Tn_ n85_a_lob_a02_64->n85_a_lob_a02_67 n85_a_lob_a02_69 PP-NIM n85_a_lob_a02_64->n85_a_lob_a02_69 n85_a_lob_a02_65->n85_a_lob_a02_66 n85_a_lob_a02_67->n85_a_lob_a02_68 n85_a_lob_a02_70 P-ROLE n85_a_lob_a02_69->n85_a_lob_a02_70 n85_a_lob_a02_72 NP n85_a_lob_a02_69->n85_a_lob_a02_72 n85_a_lob_a02_70->n85_a_lob_a02_71 n85_a_lob_a02_73 NPR n85_a_lob_a02_72->n85_a_lob_a02_73 n85_a_lob_a02_75 NPR n85_a_lob_a02_72->n85_a_lob_a02_75 n85_a_lob_a02_73->n85_a_lob_a02_74 n85_a_lob_a02_75->n85_a_lob_a02_76 n85_a_lob_a02_77->n85_a_lob_a02_78 
( (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))