Novamente Cognition Engine, an application of PLN temporal and causal logic in PLN