1# Modeling Transition Systems 2 3This example is similar to clingo's incremental mode but additionally takes 4care of attaching a time parameter to atoms. 5 6# Example Calls 7 8 python tmode.py example.lp 9