Develop Z specification for tank at a station. A tank can hold a discrete quantity petroleum. Maximum capacity of the tank is 5000 liters. A dial and warming indicator are attached to the tank. The dial indicates the level of petroleum inside the tank If the dial display is below or equal a minimum level, which is 500, the warming indicator will switch ON. When the warning indicator is switched on, an amount of petroleum must be automatically added to keep the maximum level of petroleum inside the tank. All schemas should contain correct predicate parts (preconditions) and meaningful (but not redundant) comments, (a) Definition of the tank schema (b) Definition of an initial state schema Marks (c) schema to add petroleum into the tank (d) Schema to use petroleum from the tank (e) Declaration of free types (f) schema to add petroleum into the tank when the level of petroleum reaches minimum level