Build a temporal-logic explorer where users describe rules involving events th…