Allow consequents to be conjunctions of livenesses or conjunctions of safeties
Group names are now recognized with or without a trailing 's', e.g. 'office' is now equivalent to 'offices'
Add support for 'empty' groups