79_a_ibm_1401
%3
r_0079_0001__A_r_0079_0002__library
A library
r_0079_0004__1401_r_0079_0005__programs
1401 programs
r_0079_0001__A_r_0079_0002__library->r_0079_0004__1401_r_0079_0005__programs
of
r_0079_0006__will
will
r_0079_0007__be
be
r_0079_0006__will->r_0079_0007__be
[scope]
r_0079_0008__established
established
r_0079_0007__be->r_0079_0008__established
[scope]
r_0079_0008__established->r_0079_0001__A_r_0079_0002__library
[arg1]
z_000_79_a_ibm_1401_21
r_0079_0008__established->z_000_79_a_ibm_1401_21
[arg0]
r_0079_0009__to_r_0079_0010__aid
to aid
r_0079_0009__to_r_0079_0010__aid->r_0079_0001__A_r_0079_0002__library
[arg0]
r_0079_0012__1401_r_0079_0013__customers
1401 customers
r_0079_0009__to_r_0079_0010__aid->r_0079_0012__1401_r_0079_0013__customers
[arg1]
r_0079_0015__solving
solving
r_0079_0009__to_r_0079_0010__aid->r_0079_0015__solving
in [clr]
r_0079_0017__applications
applications
r_0079_0015__solving->r_0079_0017__applications
[arg1]
z_000_79_a_ibm_1401_41
r_0079_0015__solving->z_000_79_a_ibm_1401_41
[arg0]
r_0079_0016__specific
specific
r_0079_0017__applications->r_0079_0016__specific
[attrib]
z_000_79_a_ibm_1401_25
z_000_79_a_ibm_1401_25->r_0079_0006__will
[scope]
z_000_79_a_ibm_1401_25->r_0079_0009__to_r_0079_0010__aid
[restriction]
arc(r_0079_0001__A_r_0079_0002__library, r_0079_0004__1401_r_0079_0005__programs, r_0079_0003__of).
arc(r_0079_0006__will, r_0079_0007__be, scope).
arc(r_0079_0007__be, r_0079_0008__established, scope).
arc(r_0079_0008__established, r_0079_0001__A_r_0079_0002__library, arg1).
arc(r_0079_0008__established, z_000_79_a_ibm_1401_21, arg0).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0001__A_r_0079_0002__library, arg0).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0012__1401_r_0079_0013__customers, arg1).
arc(r_0079_0009__to_r_0079_0010__aid, r_0079_0015__solving, r_0079_0014__in_clr41).
arc(r_0079_0015__solving, r_0079_0017__applications, arg1).
arc(r_0079_0015__solving, z_000_79_a_ibm_1401_41, arg0).
arc(r_0079_0017__applications, r_0079_0016__specific, attrib45).
arc(z_000_79_a_ibm_1401_25, r_0079_0006__will, scope).
arc(z_000_79_a_ibm_1401_25, r_0079_0009__to_r_0079_0010__aid, restriction).
%3
z_000_79_a_ibm_1401_25
r_0079_0009__to_r_0079_0010__aid
to aid
z_000_79_a_ibm_1401_25->r_0079_0009__to_r_0079_0010__aid
[conj1]
r_0079_0006__will_r_0079_0007__be_r_0079_0008__established
will be established
z_000_79_a_ibm_1401_25->r_0079_0006__will_r_0079_0007__be_r_0079_0008__established
[conj2]
r_0079_0015__solving
solving
r_0079_0009__to_r_0079_0010__aid->r_0079_0015__solving
in [clr]
r_0079_0012__1401_r_0079_0013__customers
1401 customers
r_0079_0009__to_r_0079_0010__aid->r_0079_0012__1401_r_0079_0013__customers
[arg1]
r_0079_0001__A_r_0079_0002__library
A library
r_0079_0009__to_r_0079_0010__aid->r_0079_0001__A_r_0079_0002__library
[arg0]
r_0079_0006__will_r_0079_0007__be_r_0079_0008__established->r_0079_0001__A_r_0079_0002__library
[arg1]
z_000_79_a_ibm_1401_21
r_0079_0006__will_r_0079_0007__be_r_0079_0008__established->z_000_79_a_ibm_1401_21
[arg0]
r_0079_0017__applications
applications
r_0079_0016__specific
specific
r_0079_0017__applications->r_0079_0016__specific
[attrib]
r_0079_0015__solving->r_0079_0017__applications
[arg1]
z_000_79_a_ibm_1401_41
r_0079_0015__solving->z_000_79_a_ibm_1401_41
[arg0]
r_0079_0004__1401_r_0079_0005__programs
1401 programs
r_0079_0001__A_r_0079_0002__library->r_0079_0004__1401_r_0079_0005__programs
of
fof(formula,axiom,
? [R_0079_0004__1401_R_0079_0005__PROGRAMS,R_0079_0001__A_R_0079_0002__LIBRARY,Z_000_79_A_IBM_1401_21,R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,R_0079_0012__1401_R_0079_0013__CUSTOMERS,R_0079_0016__SPECIFIC,R_0079_0017__APPLICATIONS,Z_000_79_A_IBM_1401_41,R_0079_0015__SOLVING,R_0079_0009__TO_R_0079_0010__AID,Z_000_79_A_IBM_1401_25] :
( r_0079_0004__1401_r_0079_0005__programs(R_0079_0004__1401_R_0079_0005__PROGRAMS)
& r_0079_0012__1401_r_0079_0013__customers(R_0079_0012__1401_R_0079_0013__CUSTOMERS)
& r_0079_0016__specific(R_0079_0016__SPECIFIC)
& z_000_79_a_ibm_1401_21(Z_000_79_A_IBM_1401_21)
& z_000_79_a_ibm_1401_41(Z_000_79_A_IBM_1401_41)
& z_000_79_a_ibm_1401_25(Z_000_79_A_IBM_1401_25)
& has_conj1(Z_000_79_A_IBM_1401_25,R_0079_0009__TO_R_0079_0010__AID)
& r_0079_0009__to_r_0079_0010__aid(R_0079_0009__TO_R_0079_0010__AID)
& has_r_0079_0014__in_clr41(R_0079_0009__TO_R_0079_0010__AID,R_0079_0015__SOLVING)
& r_0079_0015__solving(R_0079_0015__SOLVING)
& has_arg0(R_0079_0015__SOLVING,Z_000_79_A_IBM_1401_41)
& has_arg1(R_0079_0015__SOLVING,R_0079_0017__APPLICATIONS)
& r_0079_0017__applications(R_0079_0017__APPLICATIONS)
& has_attrib45(R_0079_0017__APPLICATIONS,R_0079_0016__SPECIFIC)
& has_arg1(R_0079_0009__TO_R_0079_0010__AID,R_0079_0012__1401_R_0079_0013__CUSTOMERS)
& has_arg0(R_0079_0009__TO_R_0079_0010__AID,R_0079_0001__A_R_0079_0002__LIBRARY)
& r_0079_0001__A_r_0079_0002__library(R_0079_0001__A_R_0079_0002__LIBRARY)
& has_r_0079_0003__of(R_0079_0001__A_R_0079_0002__LIBRARY,R_0079_0004__1401_R_0079_0005__PROGRAMS)
& has_conj2(Z_000_79_A_IBM_1401_25,R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED)
& r_0079_0006__will_r_0079_0007__be_r_0079_0008__established(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED)
& has_arg0(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,Z_000_79_A_IBM_1401_21)
& has_arg1(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,R_0079_0001__A_R_0079_0002__LIBRARY) ) ).
n79_a_ibm_1401
n79_a_ibm_1401__1_1_1_1
A
n79_a_ibm_1401__1_1_2_1
library
n79_a_ibm_1401__1_1_3_1_1
of
n79_a_ibm_1401__1_1_3_2_1_1
1401
n79_a_ibm_1401__1_1_3_2_2_1
programs
n79_a_ibm_1401__1_2_1
will
n79_a_ibm_1401__1_3_1_1
be
n79_a_ibm_1401__1_3_2_1_1
*
n79_a_ibm_1401__1_3_2_2_1
established
n79_a_ibm_1401__1_4_1_1_1
to
n79_a_ibm_1401__1_4_1_2_1
aid
n79_a_ibm_1401__1_4_1_3_1_1
all
n79_a_ibm_1401__1_4_1_3_2_1
1401
n79_a_ibm_1401__1_4_1_3_3_1
customers
n79_a_ibm_1401__1_4_1_4_1_1
in
n79_a_ibm_1401__1_4_1_4_2_1_1
solving
n79_a_ibm_1401__1_4_1_4_2_2_1_1_1
specific
n79_a_ibm_1401__1_4_1_4_2_2_2_1
applications
n79_a_ibm_1401__1_4_1_4_2_2_3_1
,
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1_1_1
scientific
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_1_1
as_well_as
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2_1_1
commercial
n79_a_ibm_1401__1_5_1
.
n79_a_ibm_1401__1
IP-MAT
n79_a_ibm_1401__1_1
NP-SBJ
n79_a_ibm_1401__1->n79_a_ibm_1401__1_1
n79_a_ibm_1401__1_2
MD;_cat_Vi_
n79_a_ibm_1401__1->n79_a_ibm_1401__1_2
n79_a_ibm_1401__1_3
IP-INF-CAT
n79_a_ibm_1401__1->n79_a_ibm_1401__1_3
n79_a_ibm_1401__1_4
PP-SCON
n79_a_ibm_1401__1->n79_a_ibm_1401__1_4
n79_a_ibm_1401__1_5
PUNC
n79_a_ibm_1401__1->n79_a_ibm_1401__1_5
n79_a_ibm_1401__1_1_1
D
n79_a_ibm_1401__1_1->n79_a_ibm_1401__1_1_1
n79_a_ibm_1401__1_1_2
N
n79_a_ibm_1401__1_1->n79_a_ibm_1401__1_1_2
n79_a_ibm_1401__1_1_3
PP
n79_a_ibm_1401__1_1->n79_a_ibm_1401__1_1_3
n79_a_ibm_1401__1_1_1->n79_a_ibm_1401__1_1_1_1
n79_a_ibm_1401__1_1_2->n79_a_ibm_1401__1_1_2_1
n79_a_ibm_1401__1_1_3_1
P-ROLE
n79_a_ibm_1401__1_1_3->n79_a_ibm_1401__1_1_3_1
n79_a_ibm_1401__1_1_3_2
NP
n79_a_ibm_1401__1_1_3->n79_a_ibm_1401__1_1_3_2
n79_a_ibm_1401__1_1_3_1->n79_a_ibm_1401__1_1_3_1_1
n79_a_ibm_1401__1_1_3_2_1
NPR
n79_a_ibm_1401__1_1_3_2->n79_a_ibm_1401__1_1_3_2_1
n79_a_ibm_1401__1_1_3_2_2
NS
n79_a_ibm_1401__1_1_3_2->n79_a_ibm_1401__1_1_3_2_2
n79_a_ibm_1401__1_1_3_2_1->n79_a_ibm_1401__1_1_3_2_1_1
n79_a_ibm_1401__1_1_3_2_2->n79_a_ibm_1401__1_1_3_2_2_1
n79_a_ibm_1401__1_2->n79_a_ibm_1401__1_2_1
n79_a_ibm_1401__1_3_1
BE;_cat_VePASS_
n79_a_ibm_1401__1_3->n79_a_ibm_1401__1_3_1
n79_a_ibm_1401__1_3_2
IP-PPL-CAT
n79_a_ibm_1401__1_3->n79_a_ibm_1401__1_3_2
n79_a_ibm_1401__1_3_1->n79_a_ibm_1401__1_3_1_1
n79_a_ibm_1401__1_3_2_1
NP-LGS
n79_a_ibm_1401__1_3_2->n79_a_ibm_1401__1_3_2_1
n79_a_ibm_1401__1_3_2_2
VVN;_Tn_
n79_a_ibm_1401__1_3_2->n79_a_ibm_1401__1_3_2_2
n79_a_ibm_1401__1_3_2_1->n79_a_ibm_1401__1_3_2_1_1
n79_a_ibm_1401__1_3_2_2->n79_a_ibm_1401__1_3_2_2_1
n79_a_ibm_1401__1_4_1
IP-INF
n79_a_ibm_1401__1_4->n79_a_ibm_1401__1_4_1
n79_a_ibm_1401__1_4_1_1
TO
n79_a_ibm_1401__1_4_1->n79_a_ibm_1401__1_4_1_1
n79_a_ibm_1401__1_4_1_2
VB;_Tn.pr_
n79_a_ibm_1401__1_4_1->n79_a_ibm_1401__1_4_1_2
n79_a_ibm_1401__1_4_1_3
NP-OB1
n79_a_ibm_1401__1_4_1->n79_a_ibm_1401__1_4_1_3
n79_a_ibm_1401__1_4_1_4
PP-CLR
n79_a_ibm_1401__1_4_1->n79_a_ibm_1401__1_4_1_4
n79_a_ibm_1401__1_4_1_1->n79_a_ibm_1401__1_4_1_1_1
n79_a_ibm_1401__1_4_1_2->n79_a_ibm_1401__1_4_1_2_1
n79_a_ibm_1401__1_4_1_3_1
Q
n79_a_ibm_1401__1_4_1_3->n79_a_ibm_1401__1_4_1_3_1
n79_a_ibm_1401__1_4_1_3_2
NPR
n79_a_ibm_1401__1_4_1_3->n79_a_ibm_1401__1_4_1_3_2
n79_a_ibm_1401__1_4_1_3_3
NS
n79_a_ibm_1401__1_4_1_3->n79_a_ibm_1401__1_4_1_3_3
n79_a_ibm_1401__1_4_1_3_1->n79_a_ibm_1401__1_4_1_3_1_1
n79_a_ibm_1401__1_4_1_3_2->n79_a_ibm_1401__1_4_1_3_2_1
n79_a_ibm_1401__1_4_1_3_3->n79_a_ibm_1401__1_4_1_3_3_1
n79_a_ibm_1401__1_4_1_4_1
P-ROLE
n79_a_ibm_1401__1_4_1_4->n79_a_ibm_1401__1_4_1_4_1
n79_a_ibm_1401__1_4_1_4_2
IP-PPL
n79_a_ibm_1401__1_4_1_4->n79_a_ibm_1401__1_4_1_4_2
n79_a_ibm_1401__1_4_1_4_1->n79_a_ibm_1401__1_4_1_4_1_1
n79_a_ibm_1401__1_4_1_4_2_1
VAG;_Tn_
n79_a_ibm_1401__1_4_1_4_2->n79_a_ibm_1401__1_4_1_4_2_1
n79_a_ibm_1401__1_4_1_4_2_2
NP-OB1
n79_a_ibm_1401__1_4_1_4_2->n79_a_ibm_1401__1_4_1_4_2_2
n79_a_ibm_1401__1_4_1_4_2_1->n79_a_ibm_1401__1_4_1_4_2_1_1
n79_a_ibm_1401__1_4_1_4_2_2_1
ADJP
n79_a_ibm_1401__1_4_1_4_2_2->n79_a_ibm_1401__1_4_1_4_2_2_1
n79_a_ibm_1401__1_4_1_4_2_2_2
NS
n79_a_ibm_1401__1_4_1_4_2_2->n79_a_ibm_1401__1_4_1_4_2_2_2
n79_a_ibm_1401__1_4_1_4_2_2_3
PUNC
n79_a_ibm_1401__1_4_1_4_2_2->n79_a_ibm_1401__1_4_1_4_2_2_3
n79_a_ibm_1401__1_4_1_4_2_2_4
PRN
n79_a_ibm_1401__1_4_1_4_2_2->n79_a_ibm_1401__1_4_1_4_2_2_4
n79_a_ibm_1401__1_4_1_4_2_2_1_1
ADJ
n79_a_ibm_1401__1_4_1_4_2_2_1->n79_a_ibm_1401__1_4_1_4_2_2_1_1
n79_a_ibm_1401__1_4_1_4_2_2_1_1->n79_a_ibm_1401__1_4_1_4_2_2_1_1_1
n79_a_ibm_1401__1_4_1_4_2_2_2->n79_a_ibm_1401__1_4_1_4_2_2_2_1
n79_a_ibm_1401__1_4_1_4_2_2_3->n79_a_ibm_1401__1_4_1_4_2_2_3_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1
ADJP
n79_a_ibm_1401__1_4_1_4_2_2_4->n79_a_ibm_1401__1_4_1_4_2_2_4_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1
AJLYR
n79_a_ibm_1401__1_4_1_4_2_2_4_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1
AJLYR
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2
CONJP
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1_1
ADJ
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_1_1_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_1
CONJ
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2
AJLYR
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_1_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2_1
ADJ
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2_1
n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2_1->n79_a_ibm_1401__1_4_1_4_2_2_4_1_1_2_2_1_1
n79_a_ibm_1401__1_5->n79_a_ibm_1401__1_5_1
( (IP-MAT (NP-SBJ (D A;{a})
(N library;{library})
(PP (P-ROLE of;{of})
(NP;{LIBRARY_PROGRAMS} (NPR 1401)
(NS programs;{program}))))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ established;{establish})))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn.pr_ aid;{aid[in]})
(NP-OB1 (Q all;{all})
(NPR 1401)
(NS customers;{customer}))
(PP-CLR (P-ROLE in;{in})
(IP-PPL (VAG;_Tn_ solving;{solve})
(NP-OB1 (ADJP (ADJ specific;{specific}))
(NS applications;{application})
(PUNC ,)
(PRN (ADJP (AJLYR (AJLYR (ADJ scientific;{scientific}))
(CONJP (CONJ as_well_as;{as_well_as})
(AJLYR (ADJ commercial;{commercial})))))))))))
(PUNC .))
(ID 79_a_ibm_1401))