Context                Previous, Next                Top


38_a_lob_a02
In Takoradi a ‘limited state of emergency’ was declared, giving the government adequate power to maintain all essential services and ensure food supplies.

%3 r_0038_0003__a_r_0038_0006__state a state r_0038_0005__limited limited r_0038_0003__a_r_0038_0006__state->r_0038_0005__limited [attrib] r_0038_0008__emergency emergency r_0038_0003__a_r_0038_0006__state->r_0038_0008__emergency of r_0038_0010__was was r_0038_0002__Takoradi Takoradi r_0038_0010__was->r_0038_0002__Takoradi In [nim] r_0038_0011__declared declared r_0038_0010__was->r_0038_0011__declared [scope] r_0038_0011__declared->r_0038_0003__a_r_0038_0006__state [arg1] z_000_38_a_lob_a02_29 r_0038_0011__declared->z_000_38_a_lob_a02_29 [arg0] r_0038_0013__giving giving r_0038_0013__giving->r_0038_0003__a_r_0038_0006__state [arg0] r_0038_0014__the_r_0038_0015__government the government r_0038_0013__giving->r_0038_0014__the_r_0038_0015__government [arg2] r_0038_0017__power power r_0038_0013__giving->r_0038_0017__power [arg1] r_0038_0016__adequate adequate r_0038_0017__power->r_0038_0016__adequate [attrib] r_0038_0019__maintain maintain r_0038_0019__maintain->r_0038_0017__power [arg0] r_0038_0022__services services r_0038_0019__maintain->r_0038_0022__services [arg1] r_0038_0021__essential essential r_0038_0022__services->r_0038_0021__essential [attrib] r_0038_0020__all_quant all [quant] r_0038_0020__all_quant->r_0038_0019__maintain [scope] r_0038_0020__all_quant->r_0038_0022__services [restriction] r_0038_0023__and and r_0038_0023__and->r_0038_0020__all_quant [conj1] r_0038_0024__ensure ensure r_0038_0023__and->r_0038_0024__ensure [conj2] r_0038_0024__ensure->r_0038_0017__power [arg0] r_0038_0025__food_r_0038_0026__supplies food supplies r_0038_0024__ensure->r_0038_0025__food_r_0038_0026__supplies [arg1] z_000_38_a_lob_a02_35 z_000_38_a_lob_a02_35->r_0038_0010__was [scope] z_000_38_a_lob_a02_35->r_0038_0013__giving [restriction] 
arc(r_0038_0003__a_r_0038_0006__state, r_0038_0005__limited, attrib13).
arc(r_0038_0003__a_r_0038_0006__state, r_0038_0008__emergency, r_0038_0007__of).
arc(r_0038_0010__was, r_0038_0002__Takoradi, r_0038_0001__In_nim5).
arc(r_0038_0010__was, r_0038_0011__declared, scope).
arc(r_0038_0011__declared, r_0038_0003__a_r_0038_0006__state, arg1).
arc(r_0038_0011__declared, z_000_38_a_lob_a02_29, arg0).
arc(r_0038_0013__giving, r_0038_0003__a_r_0038_0006__state, arg0).
arc(r_0038_0013__giving, r_0038_0014__the_r_0038_0015__government, arg2).
arc(r_0038_0013__giving, r_0038_0017__power, arg1).
arc(r_0038_0017__power, r_0038_0016__adequate, attrib45).
arc(r_0038_0019__maintain, r_0038_0017__power, arg0).
arc(r_0038_0019__maintain, r_0038_0022__services, arg1).
arc(r_0038_0020__all_quant, r_0038_0019__maintain, scope).
arc(r_0038_0020__all_quant, r_0038_0022__services, restriction).
arc(r_0038_0022__services, r_0038_0021__essential, attrib62).
arc(r_0038_0023__and, r_0038_0020__all_quant, conj1).
arc(r_0038_0023__and, r_0038_0024__ensure, conj2).
arc(r_0038_0024__ensure, r_0038_0017__power, arg0).
arc(r_0038_0024__ensure, r_0038_0025__food_r_0038_0026__supplies, arg1).
arc(z_000_38_a_lob_a02_35, r_0038_0010__was, scope).
arc(z_000_38_a_lob_a02_35, r_0038_0013__giving, restriction).


%3 r_0038_0003__a_r_0038_0006__state a state r_0038_0005__limited limited r_0038_0003__a_r_0038_0006__state->r_0038_0005__limited [attrib] r_0038_0008__emergency emergency r_0038_0003__a_r_0038_0006__state->r_0038_0008__emergency of r_0038_0010__was_r_0038_0011__declared was declared r_0038_0010__was_r_0038_0011__declared->r_0038_0003__a_r_0038_0006__state [arg1] r_0038_0002__Takoradi Takoradi r_0038_0010__was_r_0038_0011__declared->r_0038_0002__Takoradi In [nim] z_000_38_a_lob_a02_29 r_0038_0010__was_r_0038_0011__declared->z_000_38_a_lob_a02_29 [arg0] r_0038_0013__giving giving r_0038_0013__giving->r_0038_0003__a_r_0038_0006__state [arg0] r_0038_0014__the_r_0038_0015__government the government r_0038_0013__giving->r_0038_0014__the_r_0038_0015__government [arg2] r_0038_0017__power power r_0038_0013__giving->r_0038_0017__power [arg1] r_0038_0016__adequate adequate r_0038_0017__power->r_0038_0016__adequate [attrib] r_0038_0019__maintain maintain r_0038_0019__maintain->r_0038_0017__power [arg0] r_0038_0022__services services r_0038_0019__maintain->r_0038_0022__services [arg1] r_0038_0021__essential essential r_0038_0022__services->r_0038_0021__essential [attrib] r_0038_0020__all_quant all [quant] r_0038_0020__all_quant->r_0038_0019__maintain [scope] r_0038_0020__all_quant->r_0038_0022__services [restriction] r_0038_0023__and and r_0038_0023__and->r_0038_0020__all_quant [conj1] r_0038_0024__ensure ensure r_0038_0023__and->r_0038_0024__ensure [conj2] r_0038_0024__ensure->r_0038_0017__power [arg0] r_0038_0025__food_r_0038_0026__supplies food supplies r_0038_0024__ensure->r_0038_0025__food_r_0038_0026__supplies [arg1] z_000_38_a_lob_a02_35 z_000_38_a_lob_a02_35->r_0038_0010__was_r_0038_0011__declared [conj2] z_000_38_a_lob_a02_35->r_0038_0013__giving [conj1] 
fof(formula,axiom,
    ? [R_38_23_AND,R_38_24_ENSURE,R_38_25_FOOD_SUPPLIES,Z_38_A_LOB_A02_35,R_38_13_GIVING,R_38_17_POWER,R_38_16_ADEQUATE,R_38_14_THE_GOVERNMENT,R_38_10_WAS_DECLARED,Z_38_A_LOB_A02_29,R_38_3_A_STATE,R_38_5_LIMITED,R_38_8_EMERGENCY,R_38_2_TAKORADI] :
      ( food_supplies(R_38_25_FOOD_SUPPLIES)
      & adequate(R_38_16_ADEQUATE)
      & the_government(R_38_14_THE_GOVERNMENT)
      & limited(R_38_5_LIMITED)
      & emergency(R_38_8_EMERGENCY)
      & takoradi(R_38_2_TAKORADI)
      & ! [R_38_22_SERVICES,R_38_21_ESSENTIAL] :
          ( ( essential(R_38_21_ESSENTIAL)
            & services(R_38_22_SERVICES)
            & attrib62(R_38_22_SERVICES,R_38_21_ESSENTIAL) )
         => ? [R_38_19_MAINTAIN] : maintain(R_38_19_MAINTAIN,R_38_17_POWER,R_38_22_SERVICES) )
      & conj1(CONJ1)
      & and(R_38_23_AND)
      & conj2(R_38_23_AND,R_38_24_ENSURE)
      & ensure(R_38_24_ENSURE,R_38_17_POWER,R_38_25_FOOD_SUPPLIES)
      & power(R_38_17_POWER)
      & attrib45(R_38_17_POWER,R_38_16_ADEQUATE)
      & z_38_a_lob_a02_35(Z_38_A_LOB_A02_35)
      & conj1(Z_38_A_LOB_A02_35,R_38_13_GIVING)
      & giving(R_38_13_GIVING,R_38_3_A_STATE,R_38_17_POWER,R_38_14_THE_GOVERNMENT)
      & a_state(R_38_3_A_STATE)
      & attrib13(R_38_3_A_STATE,R_38_5_LIMITED)
      & of(R_38_3_A_STATE,R_38_8_EMERGENCY)
      & conj2(Z_38_A_LOB_A02_35,R_38_10_WAS_DECLARED)
      & was_declared(R_38_10_WAS_DECLARED,Z_38_A_LOB_A02_29,R_38_3_A_STATE)
      & in_nim5(R_38_10_WAS_DECLARED,R_38_2_TAKORADI) ) ).


n38_a_lob_a02 n38_a_lob_a02_4 In n38_a_lob_a02_7 Takoradi n38_a_lob_a02_10 a n38_a_lob_a02_12 <lquo> n38_a_lob_a02_15 limited n38_a_lob_a02_17 state n38_a_lob_a02_20 of n38_a_lob_a02_23 emergency n38_a_lob_a02_25 <rquo> n38_a_lob_a02_27 was n38_a_lob_a02_30 * n38_a_lob_a02_32 declared n38_a_lob_a02_34 , n38_a_lob_a02_38 giving n38_a_lob_a02_41 the n38_a_lob_a02_43 government n38_a_lob_a02_47 adequate n38_a_lob_a02_49 power n38_a_lob_a02_52 *T* n38_a_lob_a02_54 to n38_a_lob_a02_58 maintain n38_a_lob_a02_61 all n38_a_lob_a02_64 essential n38_a_lob_a02_66 services n38_a_lob_a02_69 and n38_a_lob_a02_72 ensure n38_a_lob_a02_75 food n38_a_lob_a02_77 supplies n38_a_lob_a02_79 . n38_a_lob_a02_1 IP-MAT n38_a_lob_a02_2 PP-NIM n38_a_lob_a02_1->n38_a_lob_a02_2 n38_a_lob_a02_8 NP-SBJ n38_a_lob_a02_1->n38_a_lob_a02_8 n38_a_lob_a02_26 BED;_cat_VePASS_ n38_a_lob_a02_1->n38_a_lob_a02_26 n38_a_lob_a02_28 IP-PPL-CAT n38_a_lob_a02_1->n38_a_lob_a02_28 n38_a_lob_a02_33 PUNC n38_a_lob_a02_1->n38_a_lob_a02_33 n38_a_lob_a02_35 PP-SCON n38_a_lob_a02_1->n38_a_lob_a02_35 n38_a_lob_a02_78 PUNC n38_a_lob_a02_1->n38_a_lob_a02_78 n38_a_lob_a02_3 P-ROLE n38_a_lob_a02_2->n38_a_lob_a02_3 n38_a_lob_a02_5 NP n38_a_lob_a02_2->n38_a_lob_a02_5 n38_a_lob_a02_3->n38_a_lob_a02_4 n38_a_lob_a02_6 NPR n38_a_lob_a02_5->n38_a_lob_a02_6 n38_a_lob_a02_6->n38_a_lob_a02_7 n38_a_lob_a02_9 D n38_a_lob_a02_8->n38_a_lob_a02_9 n38_a_lob_a02_11 PULQ n38_a_lob_a02_8->n38_a_lob_a02_11 n38_a_lob_a02_13 ADJP n38_a_lob_a02_8->n38_a_lob_a02_13 n38_a_lob_a02_16 N n38_a_lob_a02_8->n38_a_lob_a02_16 n38_a_lob_a02_18 PP n38_a_lob_a02_8->n38_a_lob_a02_18 n38_a_lob_a02_24 PURQ n38_a_lob_a02_8->n38_a_lob_a02_24 n38_a_lob_a02_9->n38_a_lob_a02_10 n38_a_lob_a02_11->n38_a_lob_a02_12 n38_a_lob_a02_14 ADJ n38_a_lob_a02_13->n38_a_lob_a02_14 n38_a_lob_a02_14->n38_a_lob_a02_15 n38_a_lob_a02_16->n38_a_lob_a02_17 n38_a_lob_a02_19 P-ROLE n38_a_lob_a02_18->n38_a_lob_a02_19 n38_a_lob_a02_21 NP n38_a_lob_a02_18->n38_a_lob_a02_21 n38_a_lob_a02_19->n38_a_lob_a02_20 n38_a_lob_a02_22 N n38_a_lob_a02_21->n38_a_lob_a02_22 n38_a_lob_a02_22->n38_a_lob_a02_23 n38_a_lob_a02_24->n38_a_lob_a02_25 n38_a_lob_a02_26->n38_a_lob_a02_27 n38_a_lob_a02_29 NP-LGS n38_a_lob_a02_28->n38_a_lob_a02_29 n38_a_lob_a02_31 VVN;_Tn_ n38_a_lob_a02_28->n38_a_lob_a02_31 n38_a_lob_a02_29->n38_a_lob_a02_30 n38_a_lob_a02_31->n38_a_lob_a02_32 n38_a_lob_a02_33->n38_a_lob_a02_34 n38_a_lob_a02_36 IP-PPL n38_a_lob_a02_35->n38_a_lob_a02_36 n38_a_lob_a02_37 VAG;_Dn.n_ n38_a_lob_a02_36->n38_a_lob_a02_37 n38_a_lob_a02_39 NP-OB2 n38_a_lob_a02_36->n38_a_lob_a02_39 n38_a_lob_a02_44 NP-OB1 n38_a_lob_a02_36->n38_a_lob_a02_44 n38_a_lob_a02_37->n38_a_lob_a02_38 n38_a_lob_a02_40 D n38_a_lob_a02_39->n38_a_lob_a02_40 n38_a_lob_a02_42 N n38_a_lob_a02_39->n38_a_lob_a02_42 n38_a_lob_a02_40->n38_a_lob_a02_41 n38_a_lob_a02_42->n38_a_lob_a02_43 n38_a_lob_a02_45 ADJP n38_a_lob_a02_44->n38_a_lob_a02_45 n38_a_lob_a02_48 N n38_a_lob_a02_44->n38_a_lob_a02_48 n38_a_lob_a02_50 IP-INF-REL n38_a_lob_a02_44->n38_a_lob_a02_50 n38_a_lob_a02_46 ADJ n38_a_lob_a02_45->n38_a_lob_a02_46 n38_a_lob_a02_46->n38_a_lob_a02_47 n38_a_lob_a02_48->n38_a_lob_a02_49 n38_a_lob_a02_51 NP-SBJ n38_a_lob_a02_50->n38_a_lob_a02_51 n38_a_lob_a02_53 TO n38_a_lob_a02_50->n38_a_lob_a02_53 n38_a_lob_a02_55 ILYR n38_a_lob_a02_50->n38_a_lob_a02_55 n38_a_lob_a02_51->n38_a_lob_a02_52 n38_a_lob_a02_53->n38_a_lob_a02_54 n38_a_lob_a02_56 ILYR n38_a_lob_a02_55->n38_a_lob_a02_56 n38_a_lob_a02_67 CONJP n38_a_lob_a02_55->n38_a_lob_a02_67 n38_a_lob_a02_57 VB;_Tn_ n38_a_lob_a02_56->n38_a_lob_a02_57 n38_a_lob_a02_59 NP-OB1 n38_a_lob_a02_56->n38_a_lob_a02_59 n38_a_lob_a02_57->n38_a_lob_a02_58 n38_a_lob_a02_60 Q n38_a_lob_a02_59->n38_a_lob_a02_60 n38_a_lob_a02_62 ADJP n38_a_lob_a02_59->n38_a_lob_a02_62 n38_a_lob_a02_65 NS n38_a_lob_a02_59->n38_a_lob_a02_65 n38_a_lob_a02_60->n38_a_lob_a02_61 n38_a_lob_a02_63 ADJ n38_a_lob_a02_62->n38_a_lob_a02_63 n38_a_lob_a02_63->n38_a_lob_a02_64 n38_a_lob_a02_65->n38_a_lob_a02_66 n38_a_lob_a02_68 CONJ n38_a_lob_a02_67->n38_a_lob_a02_68 n38_a_lob_a02_70 ILYR n38_a_lob_a02_67->n38_a_lob_a02_70 n38_a_lob_a02_68->n38_a_lob_a02_69 n38_a_lob_a02_71 VB;_Tn_ n38_a_lob_a02_70->n38_a_lob_a02_71 n38_a_lob_a02_73 NP-OB1 n38_a_lob_a02_70->n38_a_lob_a02_73 n38_a_lob_a02_71->n38_a_lob_a02_72 n38_a_lob_a02_74 N n38_a_lob_a02_73->n38_a_lob_a02_74 n38_a_lob_a02_76 NS n38_a_lob_a02_73->n38_a_lob_a02_76 n38_a_lob_a02_74->n38_a_lob_a02_75 n38_a_lob_a02_76->n38_a_lob_a02_77 n38_a_lob_a02_78->n38_a_lob_a02_79 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR Takoradi;{Takoradi})))
          (NP-SBJ (D a;{a})
                  (PULQ <lquo>)
                  (ADJP (ADJ limited;{limited}))
                  (N state;{state})
                  (PP (P-ROLE of;{of})
                      (NP (N emergency;{emergency})))
                  (PURQ <rquo>))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ declared;{declare}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Dn.n_ giving;{give})
                           (NP-OB2 (D the;{the})
                                   (N government;{government}))
                           (NP-OB1 (ADJP (ADJ adequate;{adequate}))
                                   (N power;{power})
                                   (IP-INF-REL (NP-SBJ *T*)
                                               (TO to;{to})
                                               (ILYR (ILYR (VB;_Tn_ maintain;{maintain})
                                                           (NP-OB1 (Q all;{all})
                                                                   (ADJP (ADJ essential;{essential}))
                                                                   (NS services;{service})))
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (VB;_Tn_ ensure;{ensure})
                                                                  (NP-OB1 (N food;{food})
                                                                          (NS supplies;{supply})))))))))
          (PUNC .))
  (ID 38_a_lob_a02))