Input R is bool

ID000: Globally, it is always the case that once "R" becomes satisfied, it holds for less than "5" time units