Reasoning with Revelation