Contains the logical expressions for ECA