Protagonist - Reasoning with Time