TruthValues function working (uses global implies function unfortunately)
wfp checks arguments now, tests input file for FOL added.