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

arc(r_0038_0003__a_r_0038_0006__state,r_0038_0005__limited,attrib).
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__nim).
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_0038_5018___star_,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,attrib).
arc(r_0038_0019__maintain,r_0038_0017__power,inv_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,attrib).
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,inv_arg0).
arc(r_0038_0024__ensure,r_0038_0025__food_r_0038_0026__supplies,arg1).
arc(z_0038_5004,r_0038_0010__was,scope).
arc(z_0038_5004,r_0038_0013__giving,restriction).

fof(formula,axiom,
    ? [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_0038_5018___STAR_,R_0038_0010__WAS_R_0038_0011__DECLARED,R_0038_0014__THE_R_0038_0015__GOVERNMENT,R_0038_0016__ADEQUATE,R_0038_0021__ESSENTIAL,R_0038_0022__SERVICES,R_0038_0019__MAINTAIN,R_0038_0017__POWER,R_0038_0013__GIVING,Z_0038_5004] :
      ( 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_0021__essential(R_0038_0021__ESSENTIAL)
      & r_0038_0025__food_r_0038_0026__supplies(R_0038_0025__FOOD_R_0038_0026__SUPPLIES)
      & z_0038_5018___star_(Z_0038_5018___STAR_)
      & z_0038_5004(Z_0038_5004)
      & has_conj1(Z_0038_5004,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_inv_arg0(R_0038_0017__POWER,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_inv_arg0(R_0038_0017__POWER,R_0038_0019__MAINTAIN)
      & r_0038_0019__maintain(R_0038_0019__MAINTAIN)
      & has_arg1(R_0038_0019__MAINTAIN,R_0038_0022__SERVICES)
      & r_0038_0022__services(R_0038_0022__SERVICES)
      & has_attrib(R_0038_0022__SERVICES,R_0038_0021__ESSENTIAL)
      & has_attrib(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_attrib(R_0038_0003__A_R_0038_0006__STATE,R_0038_0005__LIMITED)
      & has_conj2(Z_0038_5004,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_0038_5018___STAR_)
      & has_arg1(R_0038_0010__WAS_R_0038_0011__DECLARED,R_0038_0003__A_R_0038_0006__STATE)
      & has_r_0038_0001__In__nim(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_0022__services(R_0038_0022__SERVICES)
       => r_0038_0019__maintain(R_0038_0019__MAINTAIN) ) ) ).