Reasoning about Time and Knowledge in Neural Symbolic Learning Systems