84_a_ibm_1401
Industry seminars where customers meet to discuss subjects of common interest.
arc(r_0084_0005__meet, r_0084_0001__Industry_r_0084_0002__seminars, nim8).
arc(r_0084_0005__meet, r_0084_0004__customers, arg0).
arc(r_0084_0006__to_r_0084_0007__discuss, r_0084_0004__customers, arg0).
arc(r_0084_0006__to_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, attrib29).
arc(z_000_84_a_ibm_1401_1, r_0084_0001__Industry_r_0084_0002__seminars, nim2).
arc(z_000_84_a_ibm_1401_16, r_0084_0005__meet, scope).
arc(z_000_84_a_ibm_1401_16, r_0084_0006__to_r_0084_0007__discuss, restriction).
fof(formula,axiom,
? [Z_84_A_IBM_1401_1,Z_84_A_IBM_1401_16,R_84_6_TO_DISCUSS,R_84_8_SUBJECTS,R_84_11_INTEREST,R_84_10_COMMON,R_84_5_MEET,R_84_4_CUSTOMERS,R_84_1_INDUSTRY_SEMINARS] :
( common(R_84_10_COMMON)
& customers(R_84_4_CUSTOMERS)
& industry_seminars(R_84_1_INDUSTRY_SEMINARS)
& z_84_a_ibm_1401_1(Z_84_A_IBM_1401_1)
& nim2(Z_84_A_IBM_1401_1,R_84_1_INDUSTRY_SEMINARS)
& z_84_a_ibm_1401_16(Z_84_A_IBM_1401_16)
& conj1(Z_84_A_IBM_1401_16,R_84_6_TO_DISCUSS)
& to_discuss(R_84_6_TO_DISCUSS,R_84_4_CUSTOMERS,R_84_8_SUBJECTS)
& subjects(R_84_8_SUBJECTS)
& of(R_84_8_SUBJECTS,R_84_11_INTEREST)
& interest(R_84_11_INTEREST)
& attrib29(R_84_11_INTEREST,R_84_10_COMMON)
& conj2(Z_84_A_IBM_1401_16,R_84_5_MEET)
& meet(R_84_5_MEET,R_84_4_CUSTOMERS)
& nim8(R_84_5_MEET,R_84_1_INDUSTRY_SEMINARS) ) ).
( (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))