Context                Previous, Next                Top


58_a_ibm_1401
FORTRAN (Contraction of FORmula TRANslator)

%3 r_0058_0003__Contraction Contraction r_0058_0005__FORmula_r_0058_0006__TRANslator FORmula TRANslator r_0058_0003__Contraction->r_0058_0005__FORmula_r_0058_0006__TRANslator of z_000_58_a_ibm_1401_1 r_0058_0001__FORTRAN FORTRAN z_000_58_a_ibm_1401_1->r_0058_0001__FORTRAN [nim] z_000_58_a_ibm_1401_7 z_000_58_a_ibm_1401_7->r_0058_0003__Contraction [prd] z_000_58_a_ibm_1401_7->r_0058_0001__FORTRAN [arg0] 
arc(r_0058_0003__Contraction, r_0058_0005__FORmula_r_0058_0006__TRANslator, r_0058_0004__of).
arc(z_000_58_a_ibm_1401_1, r_0058_0001__FORTRAN, nim2).
arc(z_000_58_a_ibm_1401_7, r_0058_0001__FORTRAN, arg0).
arc(z_000_58_a_ibm_1401_7, r_0058_0003__Contraction, prd).


%3 r_0058_0003__Contraction Contraction r_0058_0005__FORmula_r_0058_0006__TRANslator FORmula TRANslator r_0058_0003__Contraction->r_0058_0005__FORmula_r_0058_0006__TRANslator of z_000_58_a_ibm_1401_1 r_0058_0001__FORTRAN FORTRAN z_000_58_a_ibm_1401_1->r_0058_0001__FORTRAN [nim] z_000_58_a_ibm_1401_7 z_000_58_a_ibm_1401_7->r_0058_0003__Contraction [prd] z_000_58_a_ibm_1401_7->r_0058_0001__FORTRAN [arg0] 
fof(formula,axiom,
    ? [Z_58_A_IBM_1401_1,Z_58_A_IBM_1401_7,R_58_1_FORTRAN,R_58_3_CONTRACTION,R_58_5_FORMULA_TRANSLATOR] :
      ( fORTRAN(R_58_1_FORTRAN)
      & fORmula_TRANslator(R_58_5_FORMULA_TRANSLATOR)
      & z_58_a_ibm_1401_1(Z_58_A_IBM_1401_1)
      & nim2(Z_58_A_IBM_1401_1,R_58_1_FORTRAN)
      & z_58_a_ibm_1401_7(Z_58_A_IBM_1401_7,R_58_1_FORTRAN,R_58_3_CONTRACTION)
      & contraction(R_58_3_CONTRACTION)
      & of(R_58_3_CONTRACTION,R_58_5_FORMULA_TRANSLATOR) ) ).


n58_a_ibm_1401 n58_a_ibm_1401_4 FORTRAN n58_a_ibm_1401_6 -LRB- n58_a_ibm_1401_10 Contraction n58_a_ibm_1401_13 of n58_a_ibm_1401_16 FORmula n58_a_ibm_1401_18 TRANslator n58_a_ibm_1401_20 -RRB- n58_a_ibm_1401_1 FRAG n58_a_ibm_1401_2 NP n58_a_ibm_1401_1->n58_a_ibm_1401_2 n58_a_ibm_1401_19 PURB n58_a_ibm_1401_1->n58_a_ibm_1401_19 n58_a_ibm_1401_3 NPR n58_a_ibm_1401_2->n58_a_ibm_1401_3 n58_a_ibm_1401_5 PULB n58_a_ibm_1401_2->n58_a_ibm_1401_5 n58_a_ibm_1401_7 IP-PPL n58_a_ibm_1401_2->n58_a_ibm_1401_7 n58_a_ibm_1401_3->n58_a_ibm_1401_4 n58_a_ibm_1401_5->n58_a_ibm_1401_6 n58_a_ibm_1401_8 NP-PRD n58_a_ibm_1401_7->n58_a_ibm_1401_8 n58_a_ibm_1401_9 N n58_a_ibm_1401_8->n58_a_ibm_1401_9 n58_a_ibm_1401_11 PP n58_a_ibm_1401_8->n58_a_ibm_1401_11 n58_a_ibm_1401_9->n58_a_ibm_1401_10 n58_a_ibm_1401_12 P-ROLE n58_a_ibm_1401_11->n58_a_ibm_1401_12 n58_a_ibm_1401_14 NP n58_a_ibm_1401_11->n58_a_ibm_1401_14 n58_a_ibm_1401_12->n58_a_ibm_1401_13 n58_a_ibm_1401_15 N n58_a_ibm_1401_14->n58_a_ibm_1401_15 n58_a_ibm_1401_17 N n58_a_ibm_1401_14->n58_a_ibm_1401_17 n58_a_ibm_1401_15->n58_a_ibm_1401_16 n58_a_ibm_1401_17->n58_a_ibm_1401_18 n58_a_ibm_1401_19->n58_a_ibm_1401_20 
( (FRAG (NP (NPR FORTRAN;{FORTRAN})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N Contraction;{contraction})
                            (PP (P-ROLE of;{of})
                                (NP (N FORmula;{formula})
                                    (N TRANslator;{translator}))))))
        (PURB -RRB-))
  (ID 58_a_ibm_1401))