arc(r_0010_0002__the_r_0010_0004__time, r_0010_0003__same, attrib8).
arc(r_0010_0008__has, r_0010_0002__the_r_0010_0004__time, r_0010_0001__At_nim5).
arc(r_0010_0008__has, r_0010_0012__every_quant, scope).
arc(r_0010_0009__offered, r_0010_0005__the_r_0010_0006__Prime_r_0010_0007__Minister, arg0).
arc(r_0010_0009__offered, r_0010_0011__governments, arg2).
arc(r_0010_0009__offered, r_0010_0013__facility, arg1).
arc(r_0010_0011__governments, r_0010_0010__commonwealth, attrib26).
arc(r_0010_0012__every_quant, r_0010_0009__offered, scope).
arc(r_0010_0012__every_quant, r_0010_0013__facility, restriction).
arc(r_0010_0013__facility, r_0010_0014__possible, attrib36).
arc(r_0010_0014__possible, r_0010_0015__to_r_0010_0016__safeguard, emb39).
arc(r_0010_0015__to_r_0010_0016__safeguard, r_0010_0018__interests, arg1).
arc(r_0010_0015__to_r_0010_0016__safeguard, z_000_10_a_lob_a02_39, arg0).
arc(r_0010_0018__interests, r_0010_0002__the_r_0010_0004__time, gen).

fof(formula,axiom,
    ? [R_0010_0003__SAME,R_0010_0002__THE_R_0010_0004__TIME,R_0010_0008__HAS] :
      ( r_0010_0003__same(R_0010_0003__SAME)
      & r_0010_0008__has(R_0010_0008__HAS)
      & ! [R_0010_0013__FACILITY,R_0010_0018__INTERESTS,Z_000_10_A_LOB_A02_39,R_0010_0015__TO_R_0010_0016__SAFEGUARD,R_0010_0014__POSSIBLE] :
          ( ( z_000_10_a_lob_a02_39(Z_000_10_A_LOB_A02_39)
            & r_0010_0013__facility(R_0010_0013__FACILITY)
            & has_attrib36(R_0010_0013__FACILITY,R_0010_0014__POSSIBLE)
            & r_0010_0014__possible(R_0010_0014__POSSIBLE)
            & has_emb39(R_0010_0014__POSSIBLE,R_0010_0015__TO_R_0010_0016__SAFEGUARD)
            & r_0010_0015__to_r_0010_0016__safeguard(R_0010_0015__TO_R_0010_0016__SAFEGUARD)
            & has_arg0(R_0010_0015__TO_R_0010_0016__SAFEGUARD,Z_000_10_A_LOB_A02_39)
            & has_arg1(R_0010_0015__TO_R_0010_0016__SAFEGUARD,R_0010_0018__INTERESTS)
            & r_0010_0018__interests(R_0010_0018__INTERESTS)
            & has_gen(R_0010_0018__INTERESTS,R_0010_0002__THE_R_0010_0004__TIME) )
         => ? [R_0010_0005__THE_R_0010_0006__PRIME_R_0010_0007__MINISTER,R_0010_0010__COMMONWEALTH,R_0010_0011__GOVERNMENTS,R_0010_0009__OFFERED] :
              ( r_0010_0005__the_r_0010_0006__Prime_r_0010_0007__Minister(R_0010_0005__THE_R_0010_0006__PRIME_R_0010_0007__MINISTER)
              & r_0010_0010__commonwealth(R_0010_0010__COMMONWEALTH)
              & r_0010_0009__offered(R_0010_0009__OFFERED)
              & has_arg1(R_0010_0009__OFFERED,R_0010_0013__FACILITY)
              & has_arg2(R_0010_0009__OFFERED,R_0010_0011__GOVERNMENTS)
              & r_0010_0011__governments(R_0010_0011__GOVERNMENTS)
              & has_attrib26(R_0010_0011__GOVERNMENTS,R_0010_0010__COMMONWEALTH)
              & has_arg0(R_0010_0009__OFFERED,R_0010_0005__THE_R_0010_0006__PRIME_R_0010_0007__MINISTER) ) )
      & has_r_0010_0001__At_nim5(R_0010_0008__HAS,R_0010_0002__THE_R_0010_0004__TIME)
      & r_0010_0002__the_r_0010_0004__time(R_0010_0002__THE_R_0010_0004__TIME)
      & has_attrib8(R_0010_0002__THE_R_0010_0004__TIME,R_0010_0003__SAME) ) ).

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ same;{same}))
                      (N time;{time})))
          (NP-SBJ (D the;{the})
                  (NPR Prime;{Prime})
                  (NPR Minister;{Minister}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.n_ offered;{offer})
                      (NP-OB2 (ADJP (ADJ commonwealth;{commonwealth}))
                              (NS governments;{government}))
                      (NP-OB1 (Q every;{every})
                              (N facility;{facility})
                              (ADJP (ADJ possible;{possible})
                                    (IP-INF (TO to;{to})
                                            (VB;_Tn_ safeguard;{safeguard})
                                            (NP-OB1 (NP-GEN (PRO;_genm_ their;{their}))
                                                    (NS interests;{interest}))))))
          (PUNC .))
  (ID 10_a_lob_a02))