Hdav Reasoner presentations