Context                Previous, Next                Top


21_a_ibm_1401
Programmers can concentrate on the application and results rather than on a multitude of “bookkeeping” functions, such as keeping track of storage locations.

%3 r_0021_0002__can can r_0021_0003__concentrate concentrate r_0021_0002__can->r_0021_0003__concentrate [scope] r_0021_0009__rather rather r_0021_0002__can->r_0021_0009__rather [nim] r_0021_0001__Programmers Programmers r_0021_0003__concentrate->r_0021_0001__Programmers [arg0] r_0021_0007__and and r_0021_0003__concentrate->r_0021_0007__and on [clr] z_000_21_a_ibm_1401_32 r_0021_0009__rather->z_000_21_a_ibm_1401_32 than r_0021_0005__the_r_0021_0006__application the application r_0021_0007__and->r_0021_0005__the_r_0021_0006__application [conj1] r_0021_0008__results results r_0021_0007__and->r_0021_0008__results [conj2] r_0021_0012__a_r_0021_0013__multitude a multitude z_000_21_a_ibm_1401_32->r_0021_0012__a_r_0021_0013__multitude on [clr] r_0021_0016__bookkeeping_r_0021_0018__functions bookkeeping functions r_0021_0012__a_r_0021_0013__multitude->r_0021_0016__bookkeeping_r_0021_0018__functions of r_0021_0021__keeping keeping r_0021_0016__bookkeeping_r_0021_0018__functions->r_0021_0021__keeping such as r_0021_0022__track track r_0021_0021__keeping->r_0021_0022__track [arg1] z_000_21_a_ibm_1401_58 r_0021_0021__keeping->z_000_21_a_ibm_1401_58 [arg0] r_0021_0024__storage_r_0021_0025__locations storage locations r_0021_0022__track->r_0021_0024__storage_r_0021_0025__locations of 
arc(r_0021_0002__can, r_0021_0003__concentrate, scope).
arc(r_0021_0002__can, r_0021_0009__rather, nim26).
arc(r_0021_0003__concentrate, r_0021_0001__Programmers, arg0).
arc(r_0021_0003__concentrate, r_0021_0007__and, r_0021_0004__on_clr13).
arc(r_0021_0007__and, r_0021_0005__the_r_0021_0006__application, conj1).
arc(r_0021_0007__and, r_0021_0008__results, conj2).
arc(r_0021_0009__rather, z_000_21_a_ibm_1401_32, r_0021_0010__than).
arc(r_0021_0012__a_r_0021_0013__multitude, r_0021_0016__bookkeeping_r_0021_0018__functions, r_0021_0014__of).
arc(r_0021_0016__bookkeeping_r_0021_0018__functions, r_0021_0021__keeping, r_0021_0020__such_as).
arc(r_0021_0021__keeping, r_0021_0022__track, arg1).
arc(r_0021_0021__keeping, z_000_21_a_ibm_1401_58, arg0).
arc(r_0021_0022__track, r_0021_0024__storage_r_0021_0025__locations, r_0021_0023__of).
arc(z_000_21_a_ibm_1401_32, r_0021_0012__a_r_0021_0013__multitude, r_0021_0011__on_clr36).


%3 z_000_21_a_ibm_1401_32 r_0021_0012__a_r_0021_0013__multitude a multitude z_000_21_a_ibm_1401_32->r_0021_0012__a_r_0021_0013__multitude on [clr] r_0021_0016__bookkeeping_r_0021_0018__functions bookkeeping functions r_0021_0012__a_r_0021_0013__multitude->r_0021_0016__bookkeeping_r_0021_0018__functions of r_0021_0022__track track r_0021_0024__storage_r_0021_0025__locations storage locations r_0021_0022__track->r_0021_0024__storage_r_0021_0025__locations of r_0021_0021__keeping keeping r_0021_0021__keeping->r_0021_0022__track [arg1] z_000_21_a_ibm_1401_58 r_0021_0021__keeping->z_000_21_a_ibm_1401_58 [arg0] r_0021_0016__bookkeeping_r_0021_0018__functions->r_0021_0021__keeping such as r_0021_0009__rather rather r_0021_0009__rather->z_000_21_a_ibm_1401_32 than r_0021_0007__and and r_0021_0008__results results r_0021_0007__and->r_0021_0008__results [conj2] r_0021_0005__the_r_0021_0006__application the application r_0021_0007__and->r_0021_0005__the_r_0021_0006__application [conj1] r_0021_0002__can_r_0021_0003__concentrate can concentrate r_0021_0002__can_r_0021_0003__concentrate->r_0021_0009__rather [nim] r_0021_0002__can_r_0021_0003__concentrate->r_0021_0007__and on [clr] r_0021_0001__Programmers Programmers r_0021_0002__can_r_0021_0003__concentrate->r_0021_0001__Programmers [arg0] 
fof(formula,axiom,
    ? [R_0021_0024__STORAGE_R_0021_0025__LOCATIONS,R_0021_0022__TRACK,Z_000_21_A_IBM_1401_58,R_0021_0021__KEEPING,R_0021_0016__BOOKKEEPING_R_0021_0018__FUNCTIONS,R_0021_0012__A_R_0021_0013__MULTITUDE,Z_000_21_A_IBM_1401_32,R_0021_0009__RATHER,R_0021_0001__PROGRAMMERS,R_0021_0005__THE_R_0021_0006__APPLICATION,R_0021_0008__RESULTS,R_0021_0007__AND,R_0021_0002__CAN_R_0021_0003__CONCENTRATE] :
      ( r_0021_0001__Programmers(R_0021_0001__PROGRAMMERS)
      & r_0021_0005__the_r_0021_0006__application(R_0021_0005__THE_R_0021_0006__APPLICATION)
      & r_0021_0008__results(R_0021_0008__RESULTS)
      & r_0021_0024__storage_r_0021_0025__locations(R_0021_0024__STORAGE_R_0021_0025__LOCATIONS)
      & z_000_21_a_ibm_1401_58(Z_000_21_A_IBM_1401_58)
      & r_0021_0002__can_r_0021_0003__concentrate(R_0021_0002__CAN_R_0021_0003__CONCENTRATE)
      & has_r_0021_0004__on_clr13(R_0021_0002__CAN_R_0021_0003__CONCENTRATE,R_0021_0007__AND)
      & r_0021_0007__and(R_0021_0007__AND)
      & has_conj2(R_0021_0007__AND,R_0021_0008__RESULTS)
      & has_conj1(R_0021_0007__AND,R_0021_0005__THE_R_0021_0006__APPLICATION)
      & has_arg0(R_0021_0002__CAN_R_0021_0003__CONCENTRATE,R_0021_0001__PROGRAMMERS)
      & has_nim26(R_0021_0002__CAN_R_0021_0003__CONCENTRATE,R_0021_0009__RATHER)
      & r_0021_0009__rather(R_0021_0009__RATHER)
      & has_r_0021_0010__than(R_0021_0009__RATHER,Z_000_21_A_IBM_1401_32)
      & z_000_21_a_ibm_1401_32(Z_000_21_A_IBM_1401_32)
      & has_r_0021_0011__on_clr36(Z_000_21_A_IBM_1401_32,R_0021_0012__A_R_0021_0013__MULTITUDE)
      & r_0021_0012__a_r_0021_0013__multitude(R_0021_0012__A_R_0021_0013__MULTITUDE)
      & has_r_0021_0014__of(R_0021_0012__A_R_0021_0013__MULTITUDE,R_0021_0016__BOOKKEEPING_R_0021_0018__FUNCTIONS)
      & r_0021_0016__bookkeeping_r_0021_0018__functions(R_0021_0016__BOOKKEEPING_R_0021_0018__FUNCTIONS)
      & has_r_0021_0020__such_as(R_0021_0016__BOOKKEEPING_R_0021_0018__FUNCTIONS,R_0021_0021__KEEPING)
      & r_0021_0021__keeping(R_0021_0021__KEEPING)
      & has_arg0(R_0021_0021__KEEPING,Z_000_21_A_IBM_1401_58)
      & has_arg1(R_0021_0021__KEEPING,R_0021_0022__TRACK)
      & r_0021_0022__track(R_0021_0022__TRACK)
      & has_r_0021_0023__of(R_0021_0022__TRACK,R_0021_0024__STORAGE_R_0021_0025__LOCATIONS) ) ).


n21_a_ibm_1401 n21_a_ibm_1401__1_1_1_1 Programmers n21_a_ibm_1401__1_2_1 can n21_a_ibm_1401__1_3_1_1 concentrate n21_a_ibm_1401__1_3_2_1_1 on n21_a_ibm_1401__1_3_2_2_1_1_1_1 the n21_a_ibm_1401__1_3_2_2_1_1_2_1 application n21_a_ibm_1401__1_3_2_2_1_2_1_1 and n21_a_ibm_1401__1_3_2_2_1_2_2_1_1 results n21_a_ibm_1401__1_4_1_1 rather n21_a_ibm_1401__1_4_2_1_1 than n21_a_ibm_1401__1_4_2_2_1_1_1 on n21_a_ibm_1401__1_4_2_2_1_2_1_1 a n21_a_ibm_1401__1_4_2_2_1_2_2_1 multitude n21_a_ibm_1401__1_4_2_2_1_2_3_1_1 of n21_a_ibm_1401__1_4_2_2_1_2_3_2_1_1 <ldquo> n21_a_ibm_1401__1_4_2_2_1_2_3_2_2_1 bookkeeping n21_a_ibm_1401__1_4_2_2_1_2_3_2_3_1 <rdquo> n21_a_ibm_1401__1_4_2_2_1_2_3_2_4_1 functions n21_a_ibm_1401__1_4_2_2_1_2_3_2_5_1 , n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_1_1 such_as n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_1_1 keeping n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_1_1 track n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_1_1 of n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_1_1 storage n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_2_1 locations n21_a_ibm_1401__1_5_1 . n21_a_ibm_1401__1 IP-MAT n21_a_ibm_1401__1_1 NP-SBJ n21_a_ibm_1401__1->n21_a_ibm_1401__1_1 n21_a_ibm_1401__1_2 MD;_cat_Vi_ n21_a_ibm_1401__1->n21_a_ibm_1401__1_2 n21_a_ibm_1401__1_3 IP-INF-CAT n21_a_ibm_1401__1->n21_a_ibm_1401__1_3 n21_a_ibm_1401__1_4 ADVP-NIM n21_a_ibm_1401__1->n21_a_ibm_1401__1_4 n21_a_ibm_1401__1_5 PUNC n21_a_ibm_1401__1->n21_a_ibm_1401__1_5 n21_a_ibm_1401__1_1_1 NS n21_a_ibm_1401__1_1->n21_a_ibm_1401__1_1_1 n21_a_ibm_1401__1_1_1->n21_a_ibm_1401__1_1_1_1 n21_a_ibm_1401__1_2->n21_a_ibm_1401__1_2_1 n21_a_ibm_1401__1_3_1 VB;_Ipr_ n21_a_ibm_1401__1_3->n21_a_ibm_1401__1_3_1 n21_a_ibm_1401__1_3_2 PP-CLR n21_a_ibm_1401__1_3->n21_a_ibm_1401__1_3_2 n21_a_ibm_1401__1_3_1->n21_a_ibm_1401__1_3_1_1 n21_a_ibm_1401__1_3_2_1 P-ROLE n21_a_ibm_1401__1_3_2->n21_a_ibm_1401__1_3_2_1 n21_a_ibm_1401__1_3_2_2 NP n21_a_ibm_1401__1_3_2->n21_a_ibm_1401__1_3_2_2 n21_a_ibm_1401__1_3_2_1->n21_a_ibm_1401__1_3_2_1_1 n21_a_ibm_1401__1_3_2_2_1 NLYR n21_a_ibm_1401__1_3_2_2->n21_a_ibm_1401__1_3_2_2_1 n21_a_ibm_1401__1_3_2_2_1_1 NLYR n21_a_ibm_1401__1_3_2_2_1->n21_a_ibm_1401__1_3_2_2_1_1 n21_a_ibm_1401__1_3_2_2_1_2 CONJP n21_a_ibm_1401__1_3_2_2_1->n21_a_ibm_1401__1_3_2_2_1_2 n21_a_ibm_1401__1_3_2_2_1_1_1 D n21_a_ibm_1401__1_3_2_2_1_1->n21_a_ibm_1401__1_3_2_2_1_1_1 n21_a_ibm_1401__1_3_2_2_1_1_2 N n21_a_ibm_1401__1_3_2_2_1_1->n21_a_ibm_1401__1_3_2_2_1_1_2 n21_a_ibm_1401__1_3_2_2_1_1_1->n21_a_ibm_1401__1_3_2_2_1_1_1_1 n21_a_ibm_1401__1_3_2_2_1_1_2->n21_a_ibm_1401__1_3_2_2_1_1_2_1 n21_a_ibm_1401__1_3_2_2_1_2_1 CONJ n21_a_ibm_1401__1_3_2_2_1_2->n21_a_ibm_1401__1_3_2_2_1_2_1 n21_a_ibm_1401__1_3_2_2_1_2_2 NLYR n21_a_ibm_1401__1_3_2_2_1_2->n21_a_ibm_1401__1_3_2_2_1_2_2 n21_a_ibm_1401__1_3_2_2_1_2_1->n21_a_ibm_1401__1_3_2_2_1_2_1_1 n21_a_ibm_1401__1_3_2_2_1_2_2_1 NS n21_a_ibm_1401__1_3_2_2_1_2_2->n21_a_ibm_1401__1_3_2_2_1_2_2_1 n21_a_ibm_1401__1_3_2_2_1_2_2_1->n21_a_ibm_1401__1_3_2_2_1_2_2_1_1 n21_a_ibm_1401__1_4_1 ADVR n21_a_ibm_1401__1_4->n21_a_ibm_1401__1_4_1 n21_a_ibm_1401__1_4_2 PP n21_a_ibm_1401__1_4->n21_a_ibm_1401__1_4_2 n21_a_ibm_1401__1_4_1->n21_a_ibm_1401__1_4_1_1 n21_a_ibm_1401__1_4_2_1 P-ROLE n21_a_ibm_1401__1_4_2->n21_a_ibm_1401__1_4_2_1 n21_a_ibm_1401__1_4_2_2 IP-ADV n21_a_ibm_1401__1_4_2->n21_a_ibm_1401__1_4_2_2 n21_a_ibm_1401__1_4_2_1->n21_a_ibm_1401__1_4_2_1_1 n21_a_ibm_1401__1_4_2_2_1 PP-CLR n21_a_ibm_1401__1_4_2_2->n21_a_ibm_1401__1_4_2_2_1 n21_a_ibm_1401__1_4_2_2_1_1 P-ROLE n21_a_ibm_1401__1_4_2_2_1->n21_a_ibm_1401__1_4_2_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2 NP n21_a_ibm_1401__1_4_2_2_1->n21_a_ibm_1401__1_4_2_2_1_2 n21_a_ibm_1401__1_4_2_2_1_1->n21_a_ibm_1401__1_4_2_2_1_1_1 n21_a_ibm_1401__1_4_2_2_1_2_1 D n21_a_ibm_1401__1_4_2_2_1_2->n21_a_ibm_1401__1_4_2_2_1_2_1 n21_a_ibm_1401__1_4_2_2_1_2_2 N n21_a_ibm_1401__1_4_2_2_1_2->n21_a_ibm_1401__1_4_2_2_1_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3 PP n21_a_ibm_1401__1_4_2_2_1_2->n21_a_ibm_1401__1_4_2_2_1_2_3 n21_a_ibm_1401__1_4_2_2_1_2_1->n21_a_ibm_1401__1_4_2_2_1_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_2->n21_a_ibm_1401__1_4_2_2_1_2_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_1 P-ROLE n21_a_ibm_1401__1_4_2_2_1_2_3->n21_a_ibm_1401__1_4_2_2_1_2_3_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2 NP n21_a_ibm_1401__1_4_2_2_1_2_3->n21_a_ibm_1401__1_4_2_2_1_2_3_2 n21_a_ibm_1401__1_4_2_2_1_2_3_1->n21_a_ibm_1401__1_4_2_2_1_2_3_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_1 PULQ n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_2 N n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_3 PURQ n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_3 n21_a_ibm_1401__1_4_2_2_1_2_3_2_4 NS n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_4 n21_a_ibm_1401__1_4_2_2_1_2_3_2_5 PUNC n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_5 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6 PP n21_a_ibm_1401__1_4_2_2_1_2_3_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6 n21_a_ibm_1401__1_4_2_2_1_2_3_2_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_3->n21_a_ibm_1401__1_4_2_2_1_2_3_2_3_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_4->n21_a_ibm_1401__1_4_2_2_1_2_3_2_4_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_5->n21_a_ibm_1401__1_4_2_2_1_2_3_2_5_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_1 P-ROLE n21_a_ibm_1401__1_4_2_2_1_2_3_2_6->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2 IP-PPL n21_a_ibm_1401__1_4_2_2_1_2_3_2_6->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_1 VAG;_Tn_ n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2 NP-OB1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_1 N n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2 PP n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_1 P-ROLE n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2 NP n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_1 N n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_2 NS n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_2 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_1->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_1_1 n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_2->n21_a_ibm_1401__1_4_2_2_1_2_3_2_6_2_2_2_2_2_1 n21_a_ibm_1401__1_5->n21_a_ibm_1401__1_5_1 
( (IP-MAT (NP-SBJ (NS Programmers;{programmer}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Ipr_ concentrate;{concentrate[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (NLYR (NLYR (D the;{the})
                                              (N application;{application}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS results;{result})))))))
          (ADVP-NIM (ADVR rather;{rather})
                    (PP (P-ROLE than;{than})
                        (IP-ADV (PP-CLR (P-ROLE on;{on})
                                        (NP (D a;{a})
                                            (N multitude;{multitude})
                                            (PP (P-ROLE of;{of})
                                                (NP (PULQ <ldquo>)
                                                    (N bookkeeping;{bookkeeping})
                                                    (PURQ <rdquo>)
                                                    (NS functions;{function})
                                                    (PUNC ,)
                                                    (PP (P-ROLE such_as;{such_as})
                                                        (IP-PPL (VAG;_Tn_ keeping;{keep})
                                                                (NP-OB1 (N track;{track})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (N storage;{storage})
                                                                                (NS locations;{location})))))))))))))
          (PUNC .))
  (ID 21_a_ibm_1401))