Figure: SDL as property language