package ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries