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.

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

arc(r_0010_0002__the_r_0010_0004__time,r_0010_0003__same,attrib).
arc(r_0010_0008__has,r_0010_0002__the_r_0010_0004__time,r_0010_0001__At__nim).
arc(r_0010_0008__has,r_0010_0009__offered,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,attrib).
arc(r_0010_0012__every__quant,r_0010_0008__has,scope).
arc(r_0010_0012__every__quant,r_0010_0013__facility,restriction).
arc(r_0010_0013__facility,r_0010_0014__possible,attrib).
arc(r_0010_0014__possible,r_0010_0016__safeguard,emb).
arc(r_0010_0016__safeguard,r_0010_0018__interests,arg1).
arc(r_0010_0016__safeguard,z_0010_5008,arg0).
arc(r_0010_0018__interests,r_0010_0017__their,gen).

fof(formula,axiom,
    ! [R_0010_0013__FACILITY,R_0010_0017__THEIR,R_0010_0018__INTERESTS,Z_0010_5008,R_0010_0016__SAFEGUARD,R_0010_0014__POSSIBLE] :
      ( ( r_0010_0017__their(R_0010_0017__THEIR)
        & z_0010_5008(Z_0010_5008)
        & r_0010_0013__facility(R_0010_0013__FACILITY)
        & has_attrib(R_0010_0013__FACILITY,R_0010_0014__POSSIBLE)
        & r_0010_0014__possible(R_0010_0014__POSSIBLE)
        & has_emb(R_0010_0014__POSSIBLE,R_0010_0016__SAFEGUARD)
        & r_0010_0016__safeguard(R_0010_0016__SAFEGUARD)
        & has_arg0(R_0010_0016__SAFEGUARD,Z_0010_5008)
        & has_arg1(R_0010_0016__SAFEGUARD,R_0010_0018__INTERESTS)
        & r_0010_0018__interests(R_0010_0018__INTERESTS)
        & has_gen(R_0010_0018__INTERESTS,R_0010_0017__THEIR) )
     => ? [R_0010_0003__SAME,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_0008__HAS_R_0010_0009__OFFERED] :
          ( r_0010_0003__same(R_0010_0003__SAME)
          & 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_0008__has_r_0010_0009__offered(R_0010_0008__HAS_R_0010_0009__OFFERED)
          & has_arg1(R_0010_0008__HAS_R_0010_0009__OFFERED,R_0010_0013__FACILITY)
          & has_arg2(R_0010_0008__HAS_R_0010_0009__OFFERED,R_0010_0011__GOVERNMENTS)
          & r_0010_0011__governments(R_0010_0011__GOVERNMENTS)
          & has_attrib(R_0010_0011__GOVERNMENTS,R_0010_0010__COMMONWEALTH)
          & has_arg0(R_0010_0008__HAS_R_0010_0009__OFFERED,R_0010_0005__THE_R_0010_0006__PRIME_R_0010_0007__MINISTER)
          & has_r_0010_0001__At__nim(R_0010_0008__HAS_R_0010_0009__OFFERED,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_attrib(R_0010_0002__THE_R_0010_0004__TIME,R_0010_0003__SAME) ) ) ).