(The important operators on this slide are the implications operators (first two). Other may be lectured again in TL and MC course).
The disjunction (ORing) of a pair of sequences is already supported by the SERES disjunction operator. PSL sequences can be combined with implication and conjunction operators in the `temporal layer'.
|18: (C) 2012-17, DJ Greaves, University of Cambridge, Computer Laboratory.|