14:41:38	 From Daniel Berry : can f until g -> <> f ?
14:42:06	 From jaxon : got it
14:44:30	 From Nick Good : This sounds like until to me
14:44:42	 From Nick Good : In english
14:45:00	 From Nick Good : It doesn’t imply that the condition will happen
14:45:00	 From Samir : it doesn't specify if the event will occur or not
14:45:00	 From jaxon : it seems like it implies that f will stop after g
14:45:06	 From Samir : g
14:45:18	 From jaxon : f will become false after g*
14:47:14	 From Samir : yes
14:47:24	 From Samir : say no to English logic, say yes to temporal logic
14:47:37	 From jaxon : the English until
14:49:00	 From jaxon : right
14:51:13	 From Samir : sorry did we define what the arrow means?
14:52:05	 From Samir : in temporal logic^
14:52:23	 From Samir : in the future or present or?
14:53:21	 From Samir : oh right
14:53:54	 From Samir : right I forgot this
14:54:18	 From Samir : yup
14:58:32	 From Samir : is it possible to not have a currEvent?
15:01:17	 From Samir : makes sense
15:08:18	 From jaxon : when s
15:08:33	 From jaxon : *when using temporal specifications, do we use only the actions and States?
15:10:39	 From jaxon : i see; so to avoid misunderstandings, we should have some sort of note?
15:11:07	 From jaxon : right
15:11:49	 From jaxon : yup
15:14:45	 From Nick Good : 7?
15:14:48	 From jaxon : 4
15:14:50	 From jaxon : ?
15:14:52	 From Nader Sabahi : 4?
15:15:49	 From Nick Good : Oh I think I see it now
15:16:00	 From Nick Good : I just counted all the different variables
15:16:24	 From Nick Good : That makes sense
15:16:44	 From Nick Good : 4?
15:17:59	 From Nader Sabahi : 3
15:18:03	 From Nick Good : 2
15:21:44	 From Nick Good : The inverse of all the others?
15:22:45	 From Nick Good : Sorry I missed the question
15:23:03	 From Nick Good : Oh the negation of them all anded together
15:23:07	 From Nick Good : Like you were saying
15:23:49	 From Nick Good : right
15:23:52	 From Nader Sabahi : right, so the ‘otherwise’ are specific to the state
15:28:41	 From Nick Good : Thank you!
15:28:55	 From Nader Sabahi : you too!
15:28:59	 From jaxon : thank you!
15:29:06	 From Nader Sabahi : :D