Better deletion of Virtuoso graphs; Changed MeasurementOfFact true/false; Various bug fixes and improvements