example extended with usage of generic connective operator instead of <And> connective
example extended with use of generic connective Operator instead of <And> connective