#!/bin/bash


for i in `seq 0 19`
  do
  for j in `seq 0 4`
  do
    export k=`expr $i \* 5 + $j`
    echo "ind(a$k).inst(a$k,\"a:MA_0002405\"). -somePartOf(a,\"a:MA_0003456\")." >> test$i.dlv
  done
  export o=`expr $i + 1`
  cp test$i.dlv test$o.dlv
#  /usr/bin/time -o timefile -a -f%U /home/hoehndorf/bin/dlvhex test.dlv
done