TSPC 84_a_ibm

84_a_ibm_1401
Industry seminars where customers meet to discuss subjects of common interest.

( (FRAG (NP (N Industry;{industry})
            (NS seminars;{seminar})
            (IP-REL (ADVP-NIM (RADV where;{where}))
                    (NP-SBJ (NS customers;{customer}))
                    (VBP;_I_ meet;{meet})
                    (PP-SCON (IP-INF (TO to;{to})
                                     (VB;_Tn_ discuss;{discuss})
                                     (NP-OB1 (NS subjects;{subject})
                                             (PP (P-ROLE of;{of})
                                                 (NP (ADJP (ADJ common;{common}))
                                                     (N interest;{interest}))))))))
        (PUNC .))
  (ID 84_a_ibm_1401))

arc(r_0084_0005__meet,r_0084_0001__Industry_r_0084_0002__seminars,nim).
arc(r_0084_0005__meet,r_0084_0004__customers,arg0).
arc(r_0084_0007__discuss,r_0084_0004__customers,arg0).
arc(r_0084_0007__discuss,r_0084_0008__subjects,arg1).
arc(r_0084_0008__subjects,r_0084_0011__interest,r_0084_0009__of).
arc(r_0084_0011__interest,r_0084_0010__common,attrib).
arc(z_0084_5005,r_0084_0005__meet,scope).
arc(z_0084_5005,r_0084_0007__discuss,restriction).
arc(z_0084_5012,r_0084_0001__Industry_r_0084_0002__seminars,z_0084_5002).

fof(formula,axiom,
    ? [R_0084_0001__INDUSTRY_R_0084_0002__SEMINARS,R_0084_0004__CUSTOMERS,R_0084_0005__MEET,R_0084_0010__COMMON,R_0084_0011__INTEREST,R_0084_0008__SUBJECTS,R_0084_0007__DISCUSS,Z_0084_5005,Z_0084_5012] :
      ( r_0084_0001__Industry_r_0084_0002__seminars(R_0084_0001__INDUSTRY_R_0084_0002__SEMINARS)
      & r_0084_0004__customers(R_0084_0004__CUSTOMERS)
      & r_0084_0010__common(R_0084_0010__COMMON)
      & z_0084_5012(Z_0084_5012)
      & has_z_0084_5002(Z_0084_5012,R_0084_0001__INDUSTRY_R_0084_0002__SEMINARS)
      & z_0084_5005(Z_0084_5005)
      & has_conj1(Z_0084_5005,R_0084_0007__DISCUSS)
      & r_0084_0007__discuss(R_0084_0007__DISCUSS)
      & has_arg1(R_0084_0007__DISCUSS,R_0084_0008__SUBJECTS)
      & r_0084_0008__subjects(R_0084_0008__SUBJECTS)
      & has_r_0084_0009__of(R_0084_0008__SUBJECTS,R_0084_0011__INTEREST)
      & r_0084_0011__interest(R_0084_0011__INTEREST)
      & has_attrib(R_0084_0011__INTEREST,R_0084_0010__COMMON)
      & has_arg0(R_0084_0007__DISCUSS,R_0084_0004__CUSTOMERS)
      & has_conj2(Z_0084_5005,R_0084_0005__MEET)
      & r_0084_0005__meet(R_0084_0005__MEET)
      & has_arg0(R_0084_0005__MEET,R_0084_0004__CUSTOMERS)
      & has_nim(R_0084_0005__MEET,R_0084_0001__INDUSTRY_R_0084_0002__SEMINARS) ) ).