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).

fof(formula,axiom,
    ? [R_0038_0016__ADEQUATE,R_0038_0017__POWER,R_0038_0025__FOOD_R_0038_0026__SUPPLIES,R_0038_0024__ENSURE,R_0038_0023__AND,R_0038_0002__TAKORADI,R_0038_0005__LIMITED,R_0038_0008__EMERGENCY,R_0038_0003__A_R_0038_0006__STATE,Z_000_38_A_LOB_A02_29,R_0038_0010__WAS_R_0038_0011__DECLARED,R_0038_0014__THE_R_0038_0015__GOVERNMENT,R_0038_0013__GIVING,Z_000_38_A_LOB_A02_35] :
      ( r_0038_0002__Takoradi(R_0038_0002__TAKORADI)
      & r_0038_0005__limited(R_0038_0005__LIMITED)
      & r_0038_0008__emergency(R_0038_0008__EMERGENCY)
      & r_0038_0014__the_r_0038_0015__government(R_0038_0014__THE_R_0038_0015__GOVERNMENT)
      & r_0038_0016__adequate(R_0038_0016__ADEQUATE)
      & r_0038_0025__food_r_0038_0026__supplies(R_0038_0025__FOOD_R_0038_0026__SUPPLIES)
      & z_000_38_a_lob_a02_29(Z_000_38_A_LOB_A02_29)
      & z_000_38_a_lob_a02_35(Z_000_38_A_LOB_A02_35)
      & has_conj1(Z_000_38_A_LOB_A02_35,R_0038_0013__GIVING)
      & r_0038_0013__giving(R_0038_0013__GIVING)
      & has_arg1(R_0038_0013__GIVING,R_0038_0017__POWER)
      & r_0038_0017__power(R_0038_0017__POWER)
      & has_attrib45(R_0038_0017__POWER,R_0038_0016__ADEQUATE)
      & has_arg2(R_0038_0013__GIVING,R_0038_0014__THE_R_0038_0015__GOVERNMENT)
      & has_arg0(R_0038_0013__GIVING,R_0038_0003__A_R_0038_0006__STATE)
      & r_0038_0003__a_r_0038_0006__state(R_0038_0003__A_R_0038_0006__STATE)
      & has_r_0038_0007__of(R_0038_0003__A_R_0038_0006__STATE,R_0038_0008__EMERGENCY)
      & has_attrib13(R_0038_0003__A_R_0038_0006__STATE,R_0038_0005__LIMITED)
      & has_conj2(Z_000_38_A_LOB_A02_35,R_0038_0010__WAS_R_0038_0011__DECLARED)
      & r_0038_0010__was_r_0038_0011__declared(R_0038_0010__WAS_R_0038_0011__DECLARED)
      & has_arg0(R_0038_0010__WAS_R_0038_0011__DECLARED,Z_000_38_A_LOB_A02_29)
      & has_arg1(R_0038_0010__WAS_R_0038_0011__DECLARED,R_0038_0003__A_R_0038_0006__STATE)
      & has_r_0038_0001__In_nim5(R_0038_0010__WAS_R_0038_0011__DECLARED,R_0038_0002__TAKORADI)
      & r_0038_0023__and(R_0038_0023__AND)
      & has_conj2(R_0038_0023__AND,R_0038_0024__ENSURE)
      & r_0038_0024__ensure(R_0038_0024__ENSURE)
      & has_arg1(R_0038_0024__ENSURE,R_0038_0025__FOOD_R_0038_0026__SUPPLIES)
      & has_arg0(R_0038_0024__ENSURE,R_0038_0017__POWER)
      & ! [R_0038_0022__SERVICES,R_0038_0021__ESSENTIAL] :
          ( ( r_0038_0021__essential(R_0038_0021__ESSENTIAL)
            & r_0038_0022__services(R_0038_0022__SERVICES)
            & has_attrib62(R_0038_0022__SERVICES,R_0038_0021__ESSENTIAL) )
         => ? [R_0038_0019__MAINTAIN] :
              ( r_0038_0019__maintain(R_0038_0019__MAINTAIN)
              & has_arg1(R_0038_0019__MAINTAIN,R_0038_0022__SERVICES)
              & has_arg0(R_0038_0019__MAINTAIN,R_0038_0017__POWER) ) ) ) ).

( (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))