REQUIEM Reasoner