{
        $count = 0;
        foreach ($this->reviewedFacts as $used) {
            if ($used) {
                $count++;
            }
        }
        return $count;
    }
}
$outputdirectory = $argv[4];
$input = fopen($argv[1], 'r');
$cvtStorage = new CvtStorage();
$reviewedFactsStorage = new ReviewedFactsStorage();
$mapping = new Mapping($cvtStorage, $reviewedFactsStorage, $argv[3]);
print_r($mapping->getStatistics());
//Extract CVTss
if (file_exists($outputdirectory . '/cvt-triples.tsv')) {
    echo "\nLoading CVTs\n";
    $cvtStorage->loadfromFile($outputdirectory . '/cvt-triples.tsv');
} else {
    //Find CVT nodes
    $cvtMids = array();
    if (file_exists($outputdirectory . '/freebase-cvt-ids.csv')) {
        $cvtIdsFile = fopen($outputdirectory . '/freebase-cvt-ids.csv', 'r');
        while ($line = fgets($cvtIdsFile)) {
            $cvtMids[trim($line)] = true;
        }
        fclose($cvtIdsFile);
    } else {
        echo "\nFind CVTs\n";