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 z_000_58_a_ibm_1401_7 r_0058_0003__Contraction Contraction z_000_58_a_ibm_1401_7->r_0058_0003__Contraction [prd] r_0058_0001__FORTRAN FORTRAN z_000_58_a_ibm_1401_7->r_0058_0001__FORTRAN [arg0] 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 z_000_58_a_ibm_1401_1->r_0058_0001__FORTRAN [nim] 
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__1_1_1_1 FORTRAN n58_a_ibm_1401__1_1_2_1 -LRB- n58_a_ibm_1401__1_1_3_1_1_1 Contraction n58_a_ibm_1401__1_1_3_1_2_1_1 of n58_a_ibm_1401__1_1_3_1_2_2_1_1 FORmula n58_a_ibm_1401__1_1_3_1_2_2_2_1 TRANslator n58_a_ibm_1401__1_2_1 -RRB- n58_a_ibm_1401__1 FRAG n58_a_ibm_1401__1_1 NP n58_a_ibm_1401__1->n58_a_ibm_1401__1_1 n58_a_ibm_1401__1_2 PURB n58_a_ibm_1401__1->n58_a_ibm_1401__1_2 n58_a_ibm_1401__1_1_1 NPR n58_a_ibm_1401__1_1->n58_a_ibm_1401__1_1_1 n58_a_ibm_1401__1_1_2 PULB n58_a_ibm_1401__1_1->n58_a_ibm_1401__1_1_2 n58_a_ibm_1401__1_1_3 IP-PPL n58_a_ibm_1401__1_1->n58_a_ibm_1401__1_1_3 n58_a_ibm_1401__1_1_1->n58_a_ibm_1401__1_1_1_1 n58_a_ibm_1401__1_1_2->n58_a_ibm_1401__1_1_2_1 n58_a_ibm_1401__1_1_3_1 NP-PRD n58_a_ibm_1401__1_1_3->n58_a_ibm_1401__1_1_3_1 n58_a_ibm_1401__1_1_3_1_1 N n58_a_ibm_1401__1_1_3_1->n58_a_ibm_1401__1_1_3_1_1 n58_a_ibm_1401__1_1_3_1_2 PP n58_a_ibm_1401__1_1_3_1->n58_a_ibm_1401__1_1_3_1_2 n58_a_ibm_1401__1_1_3_1_1->n58_a_ibm_1401__1_1_3_1_1_1 n58_a_ibm_1401__1_1_3_1_2_1 P-ROLE n58_a_ibm_1401__1_1_3_1_2->n58_a_ibm_1401__1_1_3_1_2_1 n58_a_ibm_1401__1_1_3_1_2_2 NP n58_a_ibm_1401__1_1_3_1_2->n58_a_ibm_1401__1_1_3_1_2_2 n58_a_ibm_1401__1_1_3_1_2_1->n58_a_ibm_1401__1_1_3_1_2_1_1 n58_a_ibm_1401__1_1_3_1_2_2_1 N n58_a_ibm_1401__1_1_3_1_2_2->n58_a_ibm_1401__1_1_3_1_2_2_1 n58_a_ibm_1401__1_1_3_1_2_2_2 N n58_a_ibm_1401__1_1_3_1_2_2->n58_a_ibm_1401__1_1_3_1_2_2_2 n58_a_ibm_1401__1_1_3_1_2_2_1->n58_a_ibm_1401__1_1_3_1_2_2_1_1 n58_a_ibm_1401__1_1_3_1_2_2_2->n58_a_ibm_1401__1_1_3_1_2_2_2_1 n58_a_ibm_1401__1_2->n58_a_ibm_1401__1_2_1 
( (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))