/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/MedicalSystem/
../
vampireProblem.tptp