added new operators for temporal expressions: *, |