extractFull.py

import sys

import ref_utils.io_utils as io

assumptions = io.extractGR1UnitsList(sys.argv[1])
outfile = open(sys.argv[2],"w")
for assumption in assumptions:
    outfile.write(assumption+"\n")
outfile.close()