6_a_ibm_1401
%3
r_0006_0002__is
is
r_0006_0004__these_r_0006_0005__languages
these languages
r_0006_0002__is->r_0006_0004__these_r_0006_0005__languages
through [clr]
r_0006_0006__that_r_0006_0010__is
that is
r_0006_0002__is->r_0006_0006__that_r_0006_0010__is
[arg0]
r_0006_0009__itself
itself
r_0006_0006__that_r_0006_0010__is->r_0006_0009__itself
[nim]
r_0006_0011__used
used
r_0006_0006__that_r_0006_0010__is->r_0006_0011__used
[scope]
r_0006_0014__many_quant
many [quant]
r_0006_0011__used->r_0006_0014__many_quant
[arg1]
z_000_6_a_ibm_1401_30
r_0006_0011__used->z_000_6_a_ibm_1401_30
[arg0]
r_0006_0012__to_r_0006_0013__perform
to perform
r_0006_0014__many_quant->r_0006_0012__to_r_0006_0013__perform
[scope]
z_000_6_a_ibm_1401_39
r_0006_0014__many_quant->z_000_6_a_ibm_1401_39
[restriction]
r_0006_0007__the_r_0006_0008__computer
the computer
r_0006_0012__to_r_0006_0013__perform->r_0006_0007__the_r_0006_0008__computer
[arg0]
r_0006_0012__to_r_0006_0013__perform->z_000_6_a_ibm_1401_39
[arg1]
r_0006_0016__the_r_0006_0018__functions
the functions
z_000_6_a_ibm_1401_39->r_0006_0016__the_r_0006_0018__functions
of
r_0006_0017__tedious
tedious
r_0006_0016__the_r_0006_0018__functions->r_0006_0017__tedious
[attrib]
r_0006_0019__that_r_0006_0022__would
that would
r_0006_0024__have
have
r_0006_0019__that_r_0006_0022__would->r_0006_0024__have
[scope]
r_0006_0023__otherwise
otherwise
r_0006_0024__have->r_0006_0023__otherwise
[nim]
r_0006_0025__to_r_0006_0026__perform
to perform
r_0006_0024__have->r_0006_0025__to_r_0006_0026__perform
[scope]
r_0006_0025__to_r_0006_0026__perform->r_0006_0016__the_r_0006_0018__functions
[arg1]
r_0006_0020__the_r_0006_0021__programmer
the programmer
r_0006_0025__to_r_0006_0026__perform->r_0006_0020__the_r_0006_0021__programmer
[arg0]
arc(r_0006_0002__is, r_0006_0004__these_r_0006_0005__languages, r_0006_0003__through_clr10).
arc(r_0006_0002__is, r_0006_0006__that_r_0006_0010__is, arg0).
arc(r_0006_0006__that_r_0006_0010__is, r_0006_0009__itself, nim24).
arc(r_0006_0006__that_r_0006_0010__is, r_0006_0011__used, scope).
arc(r_0006_0011__used, r_0006_0014__many_quant, arg1).
arc(r_0006_0011__used, z_000_6_a_ibm_1401_30, arg0).
arc(r_0006_0012__to_r_0006_0013__perform, r_0006_0007__the_r_0006_0008__computer, arg0).
arc(r_0006_0012__to_r_0006_0013__perform, z_000_6_a_ibm_1401_39, arg1).
arc(r_0006_0014__many_quant, r_0006_0012__to_r_0006_0013__perform, scope).
arc(r_0006_0014__many_quant, z_000_6_a_ibm_1401_39, restriction).
arc(r_0006_0016__the_r_0006_0018__functions, r_0006_0017__tedious, attrib48).
arc(r_0006_0019__that_r_0006_0022__would, r_0006_0024__have, scope).
arc(r_0006_0024__have, r_0006_0023__otherwise, nim64).
arc(r_0006_0024__have, r_0006_0025__to_r_0006_0026__perform, scope).
arc(r_0006_0025__to_r_0006_0026__perform, r_0006_0016__the_r_0006_0018__functions, arg1).
arc(r_0006_0025__to_r_0006_0026__perform, r_0006_0020__the_r_0006_0021__programmer, arg0).
arc(z_000_6_a_ibm_1401_39, r_0006_0016__the_r_0006_0018__functions, r_0006_0015__of).
%3
r_0006_0002__is
is
r_0006_0004__these_r_0006_0005__languages
these languages
r_0006_0002__is->r_0006_0004__these_r_0006_0005__languages
through [clr]
r_0006_0006__that_r_0006_0010__is_r_0006_0011__used
that is used
r_0006_0002__is->r_0006_0006__that_r_0006_0010__is_r_0006_0011__used
[arg0]
r_0006_0009__itself
itself
r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->r_0006_0009__itself
[nim]
r_0006_0014__many_quant
many [quant]
r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->r_0006_0014__many_quant
[arg1]
z_000_6_a_ibm_1401_30
r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->z_000_6_a_ibm_1401_30
[arg0]
r_0006_0012__to_r_0006_0013__perform
to perform
r_0006_0014__many_quant->r_0006_0012__to_r_0006_0013__perform
[scope]
z_000_6_a_ibm_1401_39
r_0006_0014__many_quant->z_000_6_a_ibm_1401_39
[restriction]
r_0006_0007__the_r_0006_0008__computer
the computer
r_0006_0012__to_r_0006_0013__perform->r_0006_0007__the_r_0006_0008__computer
[arg0]
r_0006_0012__to_r_0006_0013__perform->z_000_6_a_ibm_1401_39
[arg1]
r_0006_0016__the_r_0006_0018__functions
the functions
z_000_6_a_ibm_1401_39->r_0006_0016__the_r_0006_0018__functions
of
r_0006_0017__tedious
tedious
r_0006_0016__the_r_0006_0018__functions->r_0006_0017__tedious
[attrib]
r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform
that would have to perform
r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0016__the_r_0006_0018__functions
[arg1]
r_0006_0020__the_r_0006_0021__programmer
the programmer
r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0020__the_r_0006_0021__programmer
[arg0]
r_0006_0023__otherwise
otherwise
r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0023__otherwise
[nim]
fof(formula,axiom,
? [R_6_2_IS,R_6_6_THAT_IS_USED,Z_6_A_IBM_1401_30,R_6_9_ITSELF,R_6_4_THESE_LANGUAGES,R_6_19_THAT_WOULD_HAVE_TO_PERFORM,R_6_20_THE_PROGRAMMER,R_6_16_THE_FUNCTIONS,R_6_17_TEDIOUS,R_6_23_OTHERWISE] :
( itself(R_6_9_ITSELF)
& these_languages(R_6_4_THESE_LANGUAGES)
& the_programmer(R_6_20_THE_PROGRAMMER)
& tedious(R_6_17_TEDIOUS)
& otherwise(R_6_23_OTHERWISE)
& is(R_6_2_IS,R_6_6_THAT_IS_USED)
& ! [Z_6_A_IBM_1401_39] :
( ( z_6_a_ibm_1401_39(Z_6_A_IBM_1401_39)
& of(Z_6_A_IBM_1401_39,R_6_16_THE_FUNCTIONS) )
=> ? [R_6_12_TO_PERFORM,R_6_7_THE_COMPUTER] :
( the_computer(R_6_7_THE_COMPUTER)
& to_perform(R_6_12_TO_PERFORM,R_6_7_THE_COMPUTER,Z_6_A_IBM_1401_39) ) )
& arg1(ARG1)
& that_is_used(R_6_6_THAT_IS_USED,Z_6_A_IBM_1401_30)
& nim24(R_6_6_THAT_IS_USED,R_6_9_ITSELF)
& through_clr10(R_6_2_IS,R_6_4_THESE_LANGUAGES)
& that_would_have_to_perform(R_6_19_THAT_WOULD_HAVE_TO_PERFORM,R_6_20_THE_PROGRAMMER,R_6_16_THE_FUNCTIONS)
& the_functions(R_6_16_THE_FUNCTIONS)
& attrib48(R_6_16_THE_FUNCTIONS,R_6_17_TEDIOUS)
& nim64(R_6_19_THAT_WOULD_HAVE_TO_PERFORM,R_6_23_OTHERWISE) ) ).
n6_a_ibm_1401
n6_a_ibm_1401_4
It
n6_a_ibm_1401_6
is
n6_a_ibm_1401_9
through
n6_a_ibm_1401_12
these
n6_a_ibm_1401_14
languages
n6_a_ibm_1401_18
that
n6_a_ibm_1401_21
the
n6_a_ibm_1401_23
computer
n6_a_ibm_1401_26
itself
n6_a_ibm_1401_28
is
n6_a_ibm_1401_31
*
n6_a_ibm_1401_33
used
n6_a_ibm_1401_36
to
n6_a_ibm_1401_38
perform
n6_a_ibm_1401_41
many
n6_a_ibm_1401_44
of
n6_a_ibm_1401_47
the
n6_a_ibm_1401_50
tedious
n6_a_ibm_1401_52
functions
n6_a_ibm_1401_55
that
n6_a_ibm_1401_58
the
n6_a_ibm_1401_60
programmer
n6_a_ibm_1401_62
would
n6_a_ibm_1401_66
otherwise
n6_a_ibm_1401_68
have
n6_a_ibm_1401_71
*T*
n6_a_ibm_1401_73
to
n6_a_ibm_1401_75
perform
n6_a_ibm_1401_77
.
n6_a_ibm_1401_1
IP-MAT
n6_a_ibm_1401_2
NP-SBJ
n6_a_ibm_1401_1->n6_a_ibm_1401_2
n6_a_ibm_1401_5
BEP;_Ipr_
n6_a_ibm_1401_1->n6_a_ibm_1401_5
n6_a_ibm_1401_7
PP-CLR
n6_a_ibm_1401_1->n6_a_ibm_1401_7
n6_a_ibm_1401_15
CP-THT-NSBJ
n6_a_ibm_1401_1->n6_a_ibm_1401_15
n6_a_ibm_1401_76
PUNC
n6_a_ibm_1401_1->n6_a_ibm_1401_76
n6_a_ibm_1401_3
PRO;_provisional_
n6_a_ibm_1401_2->n6_a_ibm_1401_3
n6_a_ibm_1401_3->n6_a_ibm_1401_4
n6_a_ibm_1401_5->n6_a_ibm_1401_6
n6_a_ibm_1401_8
P-ROLE
n6_a_ibm_1401_7->n6_a_ibm_1401_8
n6_a_ibm_1401_10
NP
n6_a_ibm_1401_7->n6_a_ibm_1401_10
n6_a_ibm_1401_8->n6_a_ibm_1401_9
n6_a_ibm_1401_11
D
n6_a_ibm_1401_10->n6_a_ibm_1401_11
n6_a_ibm_1401_13
NS
n6_a_ibm_1401_10->n6_a_ibm_1401_13
n6_a_ibm_1401_11->n6_a_ibm_1401_12
n6_a_ibm_1401_13->n6_a_ibm_1401_14
n6_a_ibm_1401_16
IP-SUB
n6_a_ibm_1401_15->n6_a_ibm_1401_16
n6_a_ibm_1401_17
C
n6_a_ibm_1401_16->n6_a_ibm_1401_17
n6_a_ibm_1401_19
NP-SBJ
n6_a_ibm_1401_16->n6_a_ibm_1401_19
n6_a_ibm_1401_24
NP-RFL
n6_a_ibm_1401_16->n6_a_ibm_1401_24
n6_a_ibm_1401_27
BEP;_cat_VePASS_
n6_a_ibm_1401_16->n6_a_ibm_1401_27
n6_a_ibm_1401_29
IP-PPL-CAT
n6_a_ibm_1401_16->n6_a_ibm_1401_29
n6_a_ibm_1401_17->n6_a_ibm_1401_18
n6_a_ibm_1401_20
D
n6_a_ibm_1401_19->n6_a_ibm_1401_20
n6_a_ibm_1401_22
N
n6_a_ibm_1401_19->n6_a_ibm_1401_22
n6_a_ibm_1401_20->n6_a_ibm_1401_21
n6_a_ibm_1401_22->n6_a_ibm_1401_23
n6_a_ibm_1401_25
PNX
n6_a_ibm_1401_24->n6_a_ibm_1401_25
n6_a_ibm_1401_25->n6_a_ibm_1401_26
n6_a_ibm_1401_27->n6_a_ibm_1401_28
n6_a_ibm_1401_30
NP-LGS
n6_a_ibm_1401_29->n6_a_ibm_1401_30
n6_a_ibm_1401_32
VVN;_Tnt_
n6_a_ibm_1401_29->n6_a_ibm_1401_32
n6_a_ibm_1401_34
IP-INF-OB1
n6_a_ibm_1401_29->n6_a_ibm_1401_34
n6_a_ibm_1401_30->n6_a_ibm_1401_31
n6_a_ibm_1401_32->n6_a_ibm_1401_33
n6_a_ibm_1401_35
TO
n6_a_ibm_1401_34->n6_a_ibm_1401_35
n6_a_ibm_1401_37
VB;_Tn_
n6_a_ibm_1401_34->n6_a_ibm_1401_37
n6_a_ibm_1401_39
NP-OB1
n6_a_ibm_1401_34->n6_a_ibm_1401_39
n6_a_ibm_1401_35->n6_a_ibm_1401_36
n6_a_ibm_1401_37->n6_a_ibm_1401_38
n6_a_ibm_1401_40
Q;_nphd_
n6_a_ibm_1401_39->n6_a_ibm_1401_40
n6_a_ibm_1401_42
PP
n6_a_ibm_1401_39->n6_a_ibm_1401_42
n6_a_ibm_1401_40->n6_a_ibm_1401_41
n6_a_ibm_1401_43
P-ROLE
n6_a_ibm_1401_42->n6_a_ibm_1401_43
n6_a_ibm_1401_45
NP
n6_a_ibm_1401_42->n6_a_ibm_1401_45
n6_a_ibm_1401_43->n6_a_ibm_1401_44
n6_a_ibm_1401_46
D
n6_a_ibm_1401_45->n6_a_ibm_1401_46
n6_a_ibm_1401_48
ADJP
n6_a_ibm_1401_45->n6_a_ibm_1401_48
n6_a_ibm_1401_51
NS
n6_a_ibm_1401_45->n6_a_ibm_1401_51
n6_a_ibm_1401_53
IP-REL
n6_a_ibm_1401_45->n6_a_ibm_1401_53
n6_a_ibm_1401_46->n6_a_ibm_1401_47
n6_a_ibm_1401_49
ADJ
n6_a_ibm_1401_48->n6_a_ibm_1401_49
n6_a_ibm_1401_49->n6_a_ibm_1401_50
n6_a_ibm_1401_51->n6_a_ibm_1401_52
n6_a_ibm_1401_54
C
n6_a_ibm_1401_53->n6_a_ibm_1401_54
n6_a_ibm_1401_56
NP-SBJ
n6_a_ibm_1401_53->n6_a_ibm_1401_56
n6_a_ibm_1401_61
MD;_cat_Vi_
n6_a_ibm_1401_53->n6_a_ibm_1401_61
n6_a_ibm_1401_63
IP-INF-CAT
n6_a_ibm_1401_53->n6_a_ibm_1401_63
n6_a_ibm_1401_54->n6_a_ibm_1401_55
n6_a_ibm_1401_57
D
n6_a_ibm_1401_56->n6_a_ibm_1401_57
n6_a_ibm_1401_59
N
n6_a_ibm_1401_56->n6_a_ibm_1401_59
n6_a_ibm_1401_57->n6_a_ibm_1401_58
n6_a_ibm_1401_59->n6_a_ibm_1401_60
n6_a_ibm_1401_61->n6_a_ibm_1401_62
n6_a_ibm_1401_64
ADVP-NIM
n6_a_ibm_1401_63->n6_a_ibm_1401_64
n6_a_ibm_1401_67
HV;_cat_Vt_
n6_a_ibm_1401_63->n6_a_ibm_1401_67
n6_a_ibm_1401_69
IP-INF-CAT
n6_a_ibm_1401_63->n6_a_ibm_1401_69
n6_a_ibm_1401_65
ADV
n6_a_ibm_1401_64->n6_a_ibm_1401_65
n6_a_ibm_1401_65->n6_a_ibm_1401_66
n6_a_ibm_1401_67->n6_a_ibm_1401_68
n6_a_ibm_1401_70
NP-OB1
n6_a_ibm_1401_69->n6_a_ibm_1401_70
n6_a_ibm_1401_72
TO
n6_a_ibm_1401_69->n6_a_ibm_1401_72
n6_a_ibm_1401_74
VB;_Tn_
n6_a_ibm_1401_69->n6_a_ibm_1401_74
n6_a_ibm_1401_70->n6_a_ibm_1401_71
n6_a_ibm_1401_72->n6_a_ibm_1401_73
n6_a_ibm_1401_74->n6_a_ibm_1401_75
n6_a_ibm_1401_76->n6_a_ibm_1401_77
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(BEP;_Ipr_ is;{be[through]})
(PP-CLR (P-ROLE through;{through})
(NP;{PROGRAMMING_LANGUAGES} (D these;{these})
(NS languages;{language})))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ;{COMPUTER} (D the;{the})
(N computer;{computer}))
(NP-RFL;{COMPUTER} (PNX itself;{itself}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tnt_ used;{use})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ perform;{perform})
(NP-OB1 (Q;_nphd_ many;{many})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ tedious;{tedious}))
(NS functions;{function})
(IP-REL (C that;{that})
(NP-SBJ (D the;{the})
(N programmer;{programmer}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (ADVP-NIM (ADV otherwise;{otherwise}))
(HV;_cat_Vt_ have;{have})
(IP-INF-CAT (NP-OB1 *T*)
(TO to;{to})
(VB;_Tn_ perform;{perform})))))))))))
(PUNC .))
(ID 6_a_ibm_1401))