Context                Previous, Next                Top


58_a_ibm_1401
FORTRAN (Contraction of FORmula TRANslator)

n58_a_ibm_1401 n58_a_ibm_1401__1_1_1 FORTRAN n58_a_ibm_1401__1_2_1 -LRB- n58_a_ibm_1401__1_3_1_1_1 Contraction n58_a_ibm_1401__1_3_1_2_1_1 of n58_a_ibm_1401__1_3_1_2_2_1_1 FORmula n58_a_ibm_1401__1_3_1_2_2_2_1 TRANslator n58_a_ibm_1401__1_4_1 -RRB- n58_a_ibm_1401__1 NP n58_a_ibm_1401__1_1 NPR n58_a_ibm_1401__1->n58_a_ibm_1401__1_1 n58_a_ibm_1401__1_2 PULB n58_a_ibm_1401__1->n58_a_ibm_1401__1_2 n58_a_ibm_1401__1_3 PRN n58_a_ibm_1401__1->n58_a_ibm_1401__1_3 n58_a_ibm_1401__1_4 PURB n58_a_ibm_1401__1->n58_a_ibm_1401__1_4 n58_a_ibm_1401__1_1->n58_a_ibm_1401__1_1_1 n58_a_ibm_1401__1_2->n58_a_ibm_1401__1_2_1 n58_a_ibm_1401__1_3_1 NP n58_a_ibm_1401__1_3->n58_a_ibm_1401__1_3_1 n58_a_ibm_1401__1_3_1_1 N n58_a_ibm_1401__1_3_1->n58_a_ibm_1401__1_3_1_1 n58_a_ibm_1401__1_3_1_2 PP n58_a_ibm_1401__1_3_1->n58_a_ibm_1401__1_3_1_2 n58_a_ibm_1401__1_3_1_1->n58_a_ibm_1401__1_3_1_1_1 n58_a_ibm_1401__1_3_1_2_1 P-ROLE n58_a_ibm_1401__1_3_1_2->n58_a_ibm_1401__1_3_1_2_1 n58_a_ibm_1401__1_3_1_2_2 NP n58_a_ibm_1401__1_3_1_2->n58_a_ibm_1401__1_3_1_2_2 n58_a_ibm_1401__1_3_1_2_1->n58_a_ibm_1401__1_3_1_2_1_1 n58_a_ibm_1401__1_3_1_2_2_1 N n58_a_ibm_1401__1_3_1_2_2->n58_a_ibm_1401__1_3_1_2_2_1 n58_a_ibm_1401__1_3_1_2_2_2 N n58_a_ibm_1401__1_3_1_2_2->n58_a_ibm_1401__1_3_1_2_2_2 n58_a_ibm_1401__1_3_1_2_2_1->n58_a_ibm_1401__1_3_1_2_2_1_1 n58_a_ibm_1401__1_3_1_2_2_2->n58_a_ibm_1401__1_3_1_2_2_2_1 n58_a_ibm_1401__1_4->n58_a_ibm_1401__1_4_1 
( (NP (NPR FORTRAN;{FORTRAN})
      (PULB -LRB-)
      (PRN (NP (N Contraction;{contraction})
               (PP (P-ROLE of;{of})
                   (NP (N FORmula;{formula})
                       (N TRANslator;{translator})))))
      (PURB -RRB-))
  (ID 58_a_ibm_1401))


%3 z_0058_5007 r_0058_0001__FORTRAN FORTRAN z_0058_5007->r_0058_0001__FORTRAN z_0058_5005 z_0058_5005->r_0058_0001__FORTRAN [arg0] r_0058_0003__Contraction Contraction z_0058_5005->r_0058_0003__Contraction [prd] r_0058_0005__FORmula_r_0058_0006__TRANslator FORmula TRANslator r_0058_0003__Contraction->r_0058_0005__FORmula_r_0058_0006__TRANslator of 
arc(r_0058_0003__Contraction,r_0058_0005__FORmula_r_0058_0006__TRANslator,r_0058_0004__of).
arc(z_0058_5005,r_0058_0001__FORTRAN,arg0).
arc(z_0058_5005,r_0058_0003__Contraction,prd).
arc(z_0058_5007,r_0058_0001__FORTRAN,z_0058_5002).


%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_0058_5005 z_0058_5005->r_0058_0003__Contraction [prd] r_0058_0001__FORTRAN FORTRAN z_0058_5005->r_0058_0001__FORTRAN [arg0] z_0058_5007 z_0058_5007->r_0058_0001__FORTRAN 
fof(formula,axiom,
    ? [R_0058_0001__FORTRAN,R_0058_0005__FORMULA_R_0058_0006__TRANSLATOR,R_0058_0003__CONTRACTION,Z_0058_5005,Z_0058_5007] :
      ( r_0058_0001__FORTRAN(R_0058_0001__FORTRAN)
      & r_0058_0005__FORmula_r_0058_0006__TRANslator(R_0058_0005__FORMULA_R_0058_0006__TRANSLATOR)
      & z_0058_5007(Z_0058_5007)
      & has_z_0058_5002(Z_0058_5007,R_0058_0001__FORTRAN)
      & z_0058_5005(Z_0058_5005)
      & has_prd(Z_0058_5005,R_0058_0003__CONTRACTION)
      & r_0058_0003__Contraction(R_0058_0003__CONTRACTION)
      & has_r_0058_0004__of(R_0058_0003__CONTRACTION,R_0058_0005__FORMULA_R_0058_0006__TRANSLATOR)
      & has_arg0(Z_0058_5005,R_0058_0001__FORTRAN) ) ).