TSPC 10_a_lob

10_a_lob_a02
At the same time the Prime Minister has offered commonwealth governments every facility possible to safeguard their interests.

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_10_2_THE_TIME,R_10_3_SAME] :
      ( same(R_10_3_SAME)
      & ! [R_10_13_FACILITY,R_10_14_POSSIBLE,R_10_15_TO_SAFEGUARD,Z_10_A_LOB_A02_39,R_10_18_INTERESTS] :
          ( ( facility(R_10_13_FACILITY)
            & attrib36(R_10_13_FACILITY,R_10_14_POSSIBLE)
            & possible(R_10_14_POSSIBLE)
            & emb39(R_10_14_POSSIBLE,R_10_15_TO_SAFEGUARD)
            & to_safeguard(R_10_15_TO_SAFEGUARD,Z_10_A_LOB_A02_39,R_10_18_INTERESTS)
            & interests(R_10_18_INTERESTS)
            & gen(R_10_18_INTERESTS,R_10_2_THE_TIME) )
         => ? [R_10_9_OFFERED,R_10_5_THE_PRIME_MINISTER,R_10_11_GOVERNMENTS,R_10_10_COMMONWEALTH] :
              ( the_Prime_Minister(R_10_5_THE_PRIME_MINISTER)
              & commonwealth(R_10_10_COMMONWEALTH)
              & offered(R_10_9_OFFERED,R_10_5_THE_PRIME_MINISTER,R_10_13_FACILITY,R_10_11_GOVERNMENTS)
              & governments(R_10_11_GOVERNMENTS)
              & attrib26(R_10_11_GOVERNMENTS,R_10_10_COMMONWEALTH) ) ) ) ).

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