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 z_000_38_a_lob_a02_35 r_0038_0013__giving giving z_000_38_a_lob_a02_35->r_0038_0013__giving [conj1] r_0038_0010__was_r_0038_0011__declared was declared z_000_38_a_lob_a02_35->r_0038_0010__was_r_0038_0011__declared [conj2] r_0038_0017__power power r_0038_0013__giving->r_0038_0017__power [arg1] 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_0003__a_r_0038_0006__state a state r_0038_0013__giving->r_0038_0003__a_r_0038_0006__state [arg0] r_0038_0010__was_r_0038_0011__declared->r_0038_0003__a_r_0038_0006__state [arg1] 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_0002__Takoradi Takoradi r_0038_0010__was_r_0038_0011__declared->r_0038_0002__Takoradi In [nim] r_0038_0024__ensure ensure r_0038_0025__food_r_0038_0026__supplies food supplies r_0038_0024__ensure->r_0038_0025__food_r_0038_0026__supplies [arg1] r_0038_0024__ensure->r_0038_0017__power [arg0] r_0038_0016__adequate adequate r_0038_0017__power->r_0038_0016__adequate [attrib] r_0038_0023__and and r_0038_0023__and->r_0038_0024__ensure [conj2] r_0038_0020__all_quant all [quant] r_0038_0023__and->r_0038_0020__all_quant [conj1] r_0038_0022__services services r_0038_0020__all_quant->r_0038_0022__services [restriction] r_0038_0019__maintain maintain r_0038_0020__all_quant->r_0038_0019__maintain [scope] r_0038_0021__essential essential r_0038_0022__services->r_0038_0021__essential [attrib] r_0038_0019__maintain->r_0038_0017__power [arg0] r_0038_0019__maintain->r_0038_0022__services [arg1] r_0038_0008__emergency emergency r_0038_0003__a_r_0038_0006__state->r_0038_0008__emergency of r_0038_0005__limited limited r_0038_0003__a_r_0038_0006__state->r_0038_0005__limited [attrib] 
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__1_1_1_1 In n38_a_lob_a02__1_1_2_1_1 Takoradi n38_a_lob_a02__1_2_1_1 a n38_a_lob_a02__1_2_2_1 <lquo> n38_a_lob_a02__1_2_3_1_1 limited n38_a_lob_a02__1_2_4_1 state n38_a_lob_a02__1_2_5_1_1 of n38_a_lob_a02__1_2_5_2_1_1 emergency n38_a_lob_a02__1_2_6_1 <rquo> n38_a_lob_a02__1_3_1 was n38_a_lob_a02__1_4_1_1 * n38_a_lob_a02__1_4_2_1 declared n38_a_lob_a02__1_5_1 , n38_a_lob_a02__1_6_1_1_1 giving n38_a_lob_a02__1_6_1_2_1_1 the n38_a_lob_a02__1_6_1_2_2_1 government n38_a_lob_a02__1_6_1_3_1_1_1 adequate n38_a_lob_a02__1_6_1_3_2_1 power n38_a_lob_a02__1_6_1_3_3_1_1 *T* n38_a_lob_a02__1_6_1_3_3_2_1 to n38_a_lob_a02__1_6_1_3_3_3_1_1_1 maintain n38_a_lob_a02__1_6_1_3_3_3_1_2_1_1 all n38_a_lob_a02__1_6_1_3_3_3_1_2_2_1_1 essential n38_a_lob_a02__1_6_1_3_3_3_1_2_3_1 services n38_a_lob_a02__1_6_1_3_3_3_2_1_1 and n38_a_lob_a02__1_6_1_3_3_3_2_2_1_1 ensure n38_a_lob_a02__1_6_1_3_3_3_2_2_2_1_1 food n38_a_lob_a02__1_6_1_3_3_3_2_2_2_2_1 supplies n38_a_lob_a02__1_7_1 . n38_a_lob_a02__1 IP-MAT n38_a_lob_a02__1_1 PP-NIM n38_a_lob_a02__1->n38_a_lob_a02__1_1 n38_a_lob_a02__1_2 NP-SBJ n38_a_lob_a02__1->n38_a_lob_a02__1_2 n38_a_lob_a02__1_3 BED;_cat_VePASS_ n38_a_lob_a02__1->n38_a_lob_a02__1_3 n38_a_lob_a02__1_4 IP-PPL-CAT n38_a_lob_a02__1->n38_a_lob_a02__1_4 n38_a_lob_a02__1_5 PUNC n38_a_lob_a02__1->n38_a_lob_a02__1_5 n38_a_lob_a02__1_6 PP-SCON n38_a_lob_a02__1->n38_a_lob_a02__1_6 n38_a_lob_a02__1_7 PUNC n38_a_lob_a02__1->n38_a_lob_a02__1_7 n38_a_lob_a02__1_1_1 P-ROLE n38_a_lob_a02__1_1->n38_a_lob_a02__1_1_1 n38_a_lob_a02__1_1_2 NP n38_a_lob_a02__1_1->n38_a_lob_a02__1_1_2 n38_a_lob_a02__1_1_1->n38_a_lob_a02__1_1_1_1 n38_a_lob_a02__1_1_2_1 NPR n38_a_lob_a02__1_1_2->n38_a_lob_a02__1_1_2_1 n38_a_lob_a02__1_1_2_1->n38_a_lob_a02__1_1_2_1_1 n38_a_lob_a02__1_2_1 D n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_1 n38_a_lob_a02__1_2_2 PULQ n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_2 n38_a_lob_a02__1_2_3 ADJP n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_3 n38_a_lob_a02__1_2_4 N n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_4 n38_a_lob_a02__1_2_5 PP n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_5 n38_a_lob_a02__1_2_6 PURQ n38_a_lob_a02__1_2->n38_a_lob_a02__1_2_6 n38_a_lob_a02__1_2_1->n38_a_lob_a02__1_2_1_1 n38_a_lob_a02__1_2_2->n38_a_lob_a02__1_2_2_1 n38_a_lob_a02__1_2_3_1 ADJ n38_a_lob_a02__1_2_3->n38_a_lob_a02__1_2_3_1 n38_a_lob_a02__1_2_3_1->n38_a_lob_a02__1_2_3_1_1 n38_a_lob_a02__1_2_4->n38_a_lob_a02__1_2_4_1 n38_a_lob_a02__1_2_5_1 P-ROLE n38_a_lob_a02__1_2_5->n38_a_lob_a02__1_2_5_1 n38_a_lob_a02__1_2_5_2 NP n38_a_lob_a02__1_2_5->n38_a_lob_a02__1_2_5_2 n38_a_lob_a02__1_2_5_1->n38_a_lob_a02__1_2_5_1_1 n38_a_lob_a02__1_2_5_2_1 N n38_a_lob_a02__1_2_5_2->n38_a_lob_a02__1_2_5_2_1 n38_a_lob_a02__1_2_5_2_1->n38_a_lob_a02__1_2_5_2_1_1 n38_a_lob_a02__1_2_6->n38_a_lob_a02__1_2_6_1 n38_a_lob_a02__1_3->n38_a_lob_a02__1_3_1 n38_a_lob_a02__1_4_1 NP-LGS n38_a_lob_a02__1_4->n38_a_lob_a02__1_4_1 n38_a_lob_a02__1_4_2 VVN;_Tn_ n38_a_lob_a02__1_4->n38_a_lob_a02__1_4_2 n38_a_lob_a02__1_4_1->n38_a_lob_a02__1_4_1_1 n38_a_lob_a02__1_4_2->n38_a_lob_a02__1_4_2_1 n38_a_lob_a02__1_5->n38_a_lob_a02__1_5_1 n38_a_lob_a02__1_6_1 IP-PPL n38_a_lob_a02__1_6->n38_a_lob_a02__1_6_1 n38_a_lob_a02__1_6_1_1 VAG;_Dn.n_ n38_a_lob_a02__1_6_1->n38_a_lob_a02__1_6_1_1 n38_a_lob_a02__1_6_1_2 NP-OB2 n38_a_lob_a02__1_6_1->n38_a_lob_a02__1_6_1_2 n38_a_lob_a02__1_6_1_3 NP-OB1 n38_a_lob_a02__1_6_1->n38_a_lob_a02__1_6_1_3 n38_a_lob_a02__1_6_1_1->n38_a_lob_a02__1_6_1_1_1 n38_a_lob_a02__1_6_1_2_1 D n38_a_lob_a02__1_6_1_2->n38_a_lob_a02__1_6_1_2_1 n38_a_lob_a02__1_6_1_2_2 N n38_a_lob_a02__1_6_1_2->n38_a_lob_a02__1_6_1_2_2 n38_a_lob_a02__1_6_1_2_1->n38_a_lob_a02__1_6_1_2_1_1 n38_a_lob_a02__1_6_1_2_2->n38_a_lob_a02__1_6_1_2_2_1 n38_a_lob_a02__1_6_1_3_1 ADJP n38_a_lob_a02__1_6_1_3->n38_a_lob_a02__1_6_1_3_1 n38_a_lob_a02__1_6_1_3_2 N n38_a_lob_a02__1_6_1_3->n38_a_lob_a02__1_6_1_3_2 n38_a_lob_a02__1_6_1_3_3 IP-INF-REL n38_a_lob_a02__1_6_1_3->n38_a_lob_a02__1_6_1_3_3 n38_a_lob_a02__1_6_1_3_1_1 ADJ n38_a_lob_a02__1_6_1_3_1->n38_a_lob_a02__1_6_1_3_1_1 n38_a_lob_a02__1_6_1_3_1_1->n38_a_lob_a02__1_6_1_3_1_1_1 n38_a_lob_a02__1_6_1_3_2->n38_a_lob_a02__1_6_1_3_2_1 n38_a_lob_a02__1_6_1_3_3_1 NP-SBJ n38_a_lob_a02__1_6_1_3_3->n38_a_lob_a02__1_6_1_3_3_1 n38_a_lob_a02__1_6_1_3_3_2 TO n38_a_lob_a02__1_6_1_3_3->n38_a_lob_a02__1_6_1_3_3_2 n38_a_lob_a02__1_6_1_3_3_3 ILYR n38_a_lob_a02__1_6_1_3_3->n38_a_lob_a02__1_6_1_3_3_3 n38_a_lob_a02__1_6_1_3_3_1->n38_a_lob_a02__1_6_1_3_3_1_1 n38_a_lob_a02__1_6_1_3_3_2->n38_a_lob_a02__1_6_1_3_3_2_1 n38_a_lob_a02__1_6_1_3_3_3_1 ILYR n38_a_lob_a02__1_6_1_3_3_3->n38_a_lob_a02__1_6_1_3_3_3_1 n38_a_lob_a02__1_6_1_3_3_3_2 CONJP n38_a_lob_a02__1_6_1_3_3_3->n38_a_lob_a02__1_6_1_3_3_3_2 n38_a_lob_a02__1_6_1_3_3_3_1_1 VB;_Tn_ n38_a_lob_a02__1_6_1_3_3_3_1->n38_a_lob_a02__1_6_1_3_3_3_1_1 n38_a_lob_a02__1_6_1_3_3_3_1_2 NP-OB1 n38_a_lob_a02__1_6_1_3_3_3_1->n38_a_lob_a02__1_6_1_3_3_3_1_2 n38_a_lob_a02__1_6_1_3_3_3_1_1->n38_a_lob_a02__1_6_1_3_3_3_1_1_1 n38_a_lob_a02__1_6_1_3_3_3_1_2_1 Q n38_a_lob_a02__1_6_1_3_3_3_1_2->n38_a_lob_a02__1_6_1_3_3_3_1_2_1 n38_a_lob_a02__1_6_1_3_3_3_1_2_2 ADJP n38_a_lob_a02__1_6_1_3_3_3_1_2->n38_a_lob_a02__1_6_1_3_3_3_1_2_2 n38_a_lob_a02__1_6_1_3_3_3_1_2_3 NS n38_a_lob_a02__1_6_1_3_3_3_1_2->n38_a_lob_a02__1_6_1_3_3_3_1_2_3 n38_a_lob_a02__1_6_1_3_3_3_1_2_1->n38_a_lob_a02__1_6_1_3_3_3_1_2_1_1 n38_a_lob_a02__1_6_1_3_3_3_1_2_2_1 ADJ n38_a_lob_a02__1_6_1_3_3_3_1_2_2->n38_a_lob_a02__1_6_1_3_3_3_1_2_2_1 n38_a_lob_a02__1_6_1_3_3_3_1_2_2_1->n38_a_lob_a02__1_6_1_3_3_3_1_2_2_1_1 n38_a_lob_a02__1_6_1_3_3_3_1_2_3->n38_a_lob_a02__1_6_1_3_3_3_1_2_3_1 n38_a_lob_a02__1_6_1_3_3_3_2_1 CONJ n38_a_lob_a02__1_6_1_3_3_3_2->n38_a_lob_a02__1_6_1_3_3_3_2_1 n38_a_lob_a02__1_6_1_3_3_3_2_2 ILYR n38_a_lob_a02__1_6_1_3_3_3_2->n38_a_lob_a02__1_6_1_3_3_3_2_2 n38_a_lob_a02__1_6_1_3_3_3_2_1->n38_a_lob_a02__1_6_1_3_3_3_2_1_1 n38_a_lob_a02__1_6_1_3_3_3_2_2_1 VB;_Tn_ n38_a_lob_a02__1_6_1_3_3_3_2_2->n38_a_lob_a02__1_6_1_3_3_3_2_2_1 n38_a_lob_a02__1_6_1_3_3_3_2_2_2 NP-OB1 n38_a_lob_a02__1_6_1_3_3_3_2_2->n38_a_lob_a02__1_6_1_3_3_3_2_2_2 n38_a_lob_a02__1_6_1_3_3_3_2_2_1->n38_a_lob_a02__1_6_1_3_3_3_2_2_1_1 n38_a_lob_a02__1_6_1_3_3_3_2_2_2_1 N n38_a_lob_a02__1_6_1_3_3_3_2_2_2->n38_a_lob_a02__1_6_1_3_3_3_2_2_2_1 n38_a_lob_a02__1_6_1_3_3_3_2_2_2_2 NS n38_a_lob_a02__1_6_1_3_3_3_2_2_2->n38_a_lob_a02__1_6_1_3_3_3_2_2_2_2 n38_a_lob_a02__1_6_1_3_3_3_2_2_2_1->n38_a_lob_a02__1_6_1_3_3_3_2_2_2_1_1 n38_a_lob_a02__1_6_1_3_3_3_2_2_2_2->n38_a_lob_a02__1_6_1_3_3_3_2_2_2_2_1 n38_a_lob_a02__1_7->n38_a_lob_a02__1_7_1 
( (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))