ApiLogicServer 12.0.4__py3-none-any.whl → 12.1.0__py3-none-any.whl

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_001.prompt

@@ -0,0 +1,171 @@
+Here is the simplified API for LogicBank:
+
+Create a function called declare_logic(), consisting of calls to Rule methods.
+
+Do not generate import statements.
+
+Use only the methods provided below.
+
+class Rule:
+    """Invoke these functions to declare rules in the created declare_logic function.  """
+
+    @staticmethod
+    def sum(derive: Column, as_sum_of: any, where: any = None, child_role_name: str = "", insert_parent: bool=False):
+        """
+        Derive parent column as sum of designated child column, optional where
+
+        Example
+            Prompt
+                Customer.Balance = Sum(Order.amount_total where date_shipped is null)
+            Response
+                Rule.sum(derive=Customer.Balance, as_sum_of=Order.AmountTotal,
+                    where=lambda row: row.ShippedDate is None)
+
+        Args:
+            derive: name of parent <class.attribute> being derived
+            as_sum_of: name of child <class.attribute> being summed
+            child_role_name: parent's child accessor attribute (required only for disambiguation)
+            where: optional where clause, designates which child rows are summed
+
+        """
+        return Sum(derive, as_sum_of, where, child_role_name, insert_parent)
+
+    @staticmethod
+    def count(derive: Column, as_count_of: object, where: any = None, child_role_name: str = "", insert_parent: bool=False):
+        """
+        Derive parent column as count of designated child rows
+
+        Example
+            Prompt
+                Customer.UnPaidOrders = count(Orders where ShippedDate is None)
+            Response
+                Rule.count(derive=Customer.UnPaidOrders, as_count_of=Order,
+                    where=Lambda row: row.ShippedDate is None)
+
+        Args:
+            derive: name of parent <class.attribute> being derived
+            as_count_of: name of child <class> being counted
+            child_role_name: parent's child accessor attribute (required only for disambiguation)
+            where: optional where clause, designates which child rows are counted
+        """
+        return Count(derive, as_count_of, where, child_role_name, insert_parent)
+
+    @staticmethod
+    def constraint(validate: object,
+                   calling: Callable = None,
+                   as_condition: any = None,
+                   error_msg: str = "(error_msg not provided)",
+                   error_attributes=None):
+        """
+        Constraints declare condition that must be true for all commits
+
+        Example
+            Prompt
+                Customer.balance <= credit_limit
+            Response  
+                Rule.constraint(validate=Customer,
+                                as_condition=lambda row: row.Balance <= row.CreditLimit,
+                                error_msg="balance ({row.Balance}) exceeds credit ({row.CreditLimit})")
+
+        Args:
+            validate: name of mapped <class>
+            as_condition: lambda, passed row (simple constraints)
+            error_msg: string, with {row.attribute} replacements
+            error_attributes: list of attributes
+
+        """
+        if error_attributes is None:
+            error_attributes = []
+        return Constraint(validate=validate, as_condition=as_condition,
+                          error_attributes=error_attributes, error_msg=error_msg)
+
+    @staticmethod
+    def parent_check(validate: object,
+                     error_msg: str = "(error_msg not provided)",
+                     enable: bool = True):
+        """
+        Parent Checks ensure that non-null foreign keys are present in parent class
+
+        Example
+           Rule.parent_check(validate=Customer, enable=True, error_msg="Missing Parent")
+
+        Parent_check failures raise ConstraintException, e.g.:
+            try:
+                session.commit()
+            except ConstraintException as ce:
+                print("Constraint raised: " + str(ce))
+
+        Args:
+            validate: name of mapped class
+            error_msg: message included in exception (can have {} syntax)
+            enable: True (default) = enable, False means disable (tolerate orphans)
+
+        Note: False not recommended - for existing databases with bad data
+            Behavior is undefined for other rules (sum, count, parent references, etc)
+
+        """
+        return ParentCheck(validate=validate, error_msg=error_msg, enable=enable)
+
+    @staticmethod
+    def formula(derive: Column,
+                as_expression: Callable = None,
+                no_prune: bool = False):
+        """
+        Formulas declare column value, based on current and parent rows
+
+        Example
+            Prompt
+                Item.amount = quantity * unit_price
+            Response
+                Rule.formula(derive=OrderDetail.Amount,
+                             as_expression=lambda row: row.UnitPrice * row.Quantity)
+
+        Args:
+            derive: <class.attribute> being derived
+            as_expression: lambda, passed row (for syntax checking)
+            no_prune: disable pruning (rarely used, default False)
+        """
+        return Formula(derive=derive,
+                       as_expression=as_expression,
+                       no_prune=no_prune)
+
+    @staticmethod
+    def copy(derive: Column, from_parent: any):
+        """
+        Copy declares child column copied from parent column
+
+        Example
+            Prompt
+                Store the Item.unit_price as a copy from Product.unit_price
+            Response
+                Rule.copy(derive=OrderDetail.UnitPrice, from_parent=Product.UnitPrice)
+
+        Args:
+            derive: <class.attribute> being copied into
+            from_parent: <parent-class.attribute> source of copy
+        """
+        return Copy(derive=derive, from_parent=from_parent)
+
+
+Expanded example:
+
+Prompt:
+
+    Use Logic Bank to enforce the Check Credit requirement (do not generate check constraints):
+    1. Customer.balance <= credit_limit
+    2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
+    3. Order.amount_total = Sum(Item.amount)
+    4. Item.amount = quantity * unit_price
+    5. Store the Item.unit_price as a copy from Product.unit_price
+
+Response:
+
+def declare_logic():  # created by Web/GenAI for ApiLogicServer, LogicBank
+    
+    Rule.sum(derive=CustomerAccount.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)
+    Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)
+    Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)
+    Rule.constraint(validate=CustomerAccount,
+                    as_condition=lambda row: row.balance <= row.credit_limit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_002.prompt

@@ -0,0 +1,21 @@
+Use SQLAlchemy to create a sqlite database named system/genai/temp/create_db_models.sqlite, to
+
+Create a system with customers, orders, items and products.
+
+Do not generate any logic, including logic bank.
+
+Do not generate derived attributes such as Customer.balance, Customer.credit_limit, Order.amount_total, Item.unit_price, or Item.amount.
+
+Include a notes field for orders.
+
+Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
+
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
+this means you can not enter string attributes where a date or datetime object is expected.
+
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create some test data, use foreign key columns instead of relationship names for the data.  Do not print the test data.  Be sure to initialize derived attributes, but do not rely on Logic Bank.
+
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_003.response

@@ -0,0 +1,94 @@
+Certainly! Here's how you might create a system with `customers`, `orders`, `items`, and `products` using SQLAlchemy. After defining the data model, I will generate test data and then proceed to use LogicBank for business rules in the `declare_logic()` function.
+
+```python
+from sqlalchemy import create_engine, Column, Integer, String, Float, ForeignKey, Date, DateTime
+from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.orm import sessionmaker, relationship
+from datetime import datetime
+
+Base = declarative_base()
+
+class Customer(Base):
+    """
+    description: Table for storing customer information.
+    """
+    __tablename__ = 'customers'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=True)
+    credit_limit = Column(Float, nullable=True)
+
+class Order(Base):
+    """
+    description: Table for orders linked to customers.
+    """
+    __tablename__ = 'orders'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    customer_id = Column(Integer, ForeignKey('customers.id'), nullable=True)
+    date_shipped = Column(Date, nullable=True)
+    notes = Column(String, nullable=True)
+    # Placeholder for derived attribute (commented out but indicated)
+    # amount_total = Column(Float, default=0.0)
+
+class Product(Base):
+    """
+    description: Table for products.
+    """
+    __tablename__ = 'products'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=True)
+    unit_price = Column(Float, nullable=True)
+
+class Item(Base):
+    """
+    description: Table for items linked to orders and products.
+    """
+    __tablename__ = 'items'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    order_id = Column(Integer, ForeignKey('orders.id'), nullable=True)
+    product_id = Column(Integer, ForeignKey('products.id'), nullable=True)
+    quantity = Column(Integer, nullable=True)
+    # Placeholder for derived attributes (commented out but indicated)
+    # unit_price = Column(Float, nullable=True)
+    # amount = Column(Float, default=0.0)
+
+# Create an SQLite database
+engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
+Base.metadata.create_all(engine)
+
+Session = sessionmaker(bind=engine)
+session = Session()
+
+# Creating test data for tables
+customer1 = Customer(name="John Doe", credit_limit=5000.0)
+customer2 = Customer(name="Jane Smith", credit_limit=10000.0)
+session.add_all([customer1, customer2])
+session.commit()
+
+order1 = Order(customer_id=customer1.id, date_shipped=None, notes="Express delivery")
+order2 = Order(customer_id=customer2.id, date_shipped=datetime.now().date(), notes="Standard delivery")
+session.add_all([order1, order2])
+session.commit()
+
+product1 = Product(name="Laptop", unit_price=1000.0)
+product2 = Product(name="Smartphone", unit_price=500.0)
+session.add_all([product1, product2])
+session.commit()
+
+item1 = Item(order_id=order1.id, product_id=product1.id, quantity=2)
+item2 = Item(order_id=order1.id, product_id=product2.id, quantity=3)
+item3 = Item(order_id=order2.id, product_id=product2.id, quantity=1)
+session.add_all([item1, item2, item3])
+session.commit()
+
+```
+
+### Expanded Explanation of Data Model and Logic
+- **`Customer` Table**: Stores basic customer information including `name` and `credit_limit`.
+- **`Order` Table**: Links orders to customers, and contains fields for shipment date (`date_shipped`) and additional comments or `notes`.
+- **`Product` Table**: Contains product information like `name` and `unit_price`.
+- **`Item` Table**: Represents purchased items within a particular order, tracking `quantity` and relating to `Product` and `Order`.
+

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_004.prompt

@@ -0,0 +1,6 @@
+Use LogicBank to enforce the Check Credit requirement:
+1. Customer.balance <= credit_limit
+2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
+3. Order.amount_total = Sum(Item.amount)
+4. Item.amount = quantity * unit_price
+5. Store the Item.unit_price as a copy from Product.unit_price

api_logic_server_cli/prototypes/manager/system/genai/examples/genai_demo/genai_demo_iterative_logic/genai_demo_iterative_logic_005.response_example

@@ -0,0 +1,122 @@
+Certainly! Let's incorporate the business logic using LogicBank, ensuring we add any necessary derived attributes to our model and adjust the test data accordingly. We'll also include the function `declare_logic` which utilizes LogicBank rules.
+
+```python
+from sqlalchemy import create_engine, Column, Integer, String, Float, ForeignKey, Date
+from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.orm import sessionmaker
+from datetime import datetime
+
+Base = declarative_base()
+
+
+class Customer(Base):
+    """
+    description: Table for storing customer information.
+    """
+    __tablename__ = 'customers'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=True)
+    credit_limit = Column(Float, nullable=True)
+    balance = Column(Float, default=0.0)  # Added for logic rule
+
+
+class Order(Base):
+    """
+    description: Table for orders linked to customers.
+    """
+    __tablename__ = 'orders'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    customer_id = Column(Integer, ForeignKey('customers.id'), nullable=True)
+    date_shipped = Column(Date, nullable=True)
+    notes = Column(String, nullable=True)
+    amount_total = Column(Float, default=0.0)  # Added for logic rule
+
+
+class Product(Base):
+    """
+    description: Table for products.
+    """
+    __tablename__ = 'products'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    name = Column(String, nullable=True)
+    unit_price = Column(Float, nullable=True)
+
+
+class Item(Base):
+    """
+    description: Table for items linked to orders and products.
+    """
+    __tablename__ = 'items'
+    
+    id = Column(Integer, primary_key=True, autoincrement=True)
+    order_id = Column(Integer, ForeignKey('orders.id'), nullable=True)
+    product_id = Column(Integer, ForeignKey('products.id'), nullable=True)
+    quantity = Column(Integer, nullable=True)
+    unit_price = Column(Float, nullable=True)  # Added for logic rule
+    amount = Column(Float, default=0.0)  # Added for logic rule
+
+
+# Create an SQLite database
+engine = create_engine('sqlite:///system/genai/temp/create_db_models.sqlite')
+Base.metadata.create_all(engine)
+
+Session = sessionmaker(bind=engine)
+session = Session()
+
+# Creating test data for tables
+customer1 = Customer(name="John Doe", credit_limit=5000.0, balance=0.0)
+customer2 = Customer(name="Jane Smith", credit_limit=10000.0, balance=0.0)
+session.add_all([customer1, customer2])
+session.commit()
+
+order1 = Order(customer_id=customer1.id, date_shipped=None, notes="Express delivery", amount_total=0.0)
+order2 = Order(customer_id=customer2.id, date_shipped=datetime.now().date(), notes="Standard delivery", amount_total=0.0)
+session.add_all([order1, order2])
+session.commit()
+
+product1 = Product(name="Laptop", unit_price=1000.0)
+product2 = Product(name="Smartphone", unit_price=500.0)
+session.add_all([product1, product2])
+session.commit()
+
+item1 = Item(order_id=order1.id, product_id=product1.id, quantity=2, unit_price=1000.0, amount=2000.0)
+item2 = Item(order_id=order1.id, product_id=product2.id, quantity=3, unit_price=500.0, amount=1500.0)
+item3 = Item(order_id=order2.id, product_id=product2.id, quantity=1, unit_price=500.0, amount=500.0)
+session.add_all([item1, item2, item3])
+session.commit()
+
+
+def declare_logic():
+    Rule.sum(derive=Customer.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)
+    Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)
+    Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)
+    Rule.constraint(validate=Customer,
+                    as_condition=lambda row: row.balance <= row.credit_limit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+```
+
+### Explanation of Changes and Additions:
+
+- **Data Model Updates**:
+  - Added `balance` to `Customer` to support business rules.
+  - Added `amount_total` to `Order` for summation logic.
+  - Added `unit_price` and `amount` to `Item` for business logic involving calculations and copying.
+
+- **Test Data Updates**:
+  - Initialized `balance` and `amount_total` manually since we're relying on LogicBank for automatic updates.
+  - Set `unit_price` and `amount` for each item directly based on test data consistency with products and orders.
+
+- **Business Logic (LogicBank)**:
+  - Implemented `declare_logic` function using LogicBank to define rules:
+    - Calculate `Customer.balance` as the sum of pending `Order.amount_total`.
+    - Sum `Order.amount_total` from `Item.amount`.
+    - Calculate `Item.amount` using `quantity * unit_price`.
+    - Copy `Product.unit_price` to `Item.unit_price`.
+    - Constraint to ensure `Customer.balance` does not exceed `credit_limit`.
+
+By following these guidelines, the data model is prepared with a skeleton for logical integrity checks and value derivations, mirroring the application requirements without executing the logic directly in the database.

api_logic_server_cli/prototypes/manager/system/genai/learning_requests/logic_bank_api.prompt

@@ -152,11 +152,11 @@ Expanded example:
 Prompt:
 
     Use Logic Bank to enforce the Check Credit requirement (do not generate check constraints):
-    1. Customer.balance <= credit_limit
-    2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
-    3. Order.amount_total = Sum(Item.amount)
-    4. Item.amount = quantity * unit_price
-    5. Store the Item.unit_price as a copy from Product.unit_price
+        1. Customer.balance <= credit_limit
+        2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
+        3. Order.amount_total = Sum(Item.amount)
+        4. Item.amount = quantity * unit_price
+        5. Store the Item.unit_price as a copy from Product.unit_price
 
 Response:
 
@@ -169,3 +169,40 @@ def declare_logic():  # created by Web/GenAI for ApiLogicServer, LogicBank
     Rule.constraint(validate=CustomerAccount,
                     as_condition=lambda row: row.balance <= row.credit_limit,
                     error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+
+Equivalent expanded example using informal syntax:
+
+Prompt:
+
+    Use Logic Bank to enforce the Check Credit requirement (do not generate check constraints):
+        1. The Customer's balance is less than the credit limit
+        2. The Customer's balance is the sum of the Order amount_total where date_shipped is null
+        3. The Order's amount_total is the sum of the Item amount
+        4. The Item amount is the quantity * unit_price
+        5. The Item unit_price is copied from the Product unit_price
+
+Response is the same:
+
+def declare_logic():  # created by Web/GenAI for ApiLogicServer, LogicBank
+    
+    Rule.sum(derive=CustomerAccount.balance, as_sum_of=Order.amount_total, where=lambda row: row.date_shipped is None)
+    Rule.sum(derive=Order.amount_total, as_sum_of=Item.amount)
+    Rule.formula(derive=Item.amount, as_expression=lambda row: row.quantity * row.unit_price)
+    Rule.copy(derive=Item.unit_price, from_parent=Product.unit_price)
+    Rule.constraint(validate=CustomerAccount,
+                    as_condition=lambda row: row.balance <= row.credit_limit,
+                    error_msg="Customer balance ({row.balance}) exceeds credit limit ({row.credit_limit})")
+
+Intermediate sum/count values require a new column, with a LogicBank sum/count rule.  For example:
+
+Prompt:
+    The sum of the child value cannot exceed the parent limit
+
+Response is to create 2 rules - a derivation and a constraint, as follows:
+    First Rule to Create:
+        Rule.sum(derive=Parent.value_total, as_sum_of=Child.value)
+    And, be sure to create the second Rule:
+        Rule.constraint(validate=Parent,
+                    as_condition=lambda row: row.value_total <= row.limit,
+                    error_msg="Parent value total ({row.value_total}) exceeds limit ({row.limit})")

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/logic_inserts.prompt

@@ -0,0 +1 @@
+Use LogicBank to create declare_logic() to enforce these requirements (do not generate check constraints); be sure to update the data model and *all* test data with any attributes used in the logic:

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/response_format.prompt

@@ -0,0 +1,6 @@
+class WGResult(BaseModel):  # must match system/genai/prompt_inserts/response_format.prompt
+    models : List[Model] # list of sqlalchemy classes in the response
+    rules : List[Rule] # list of rule declarations
+    test_data: str
+
+Format the response as a WGResult.

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/sqlite_inserts.prompt

@@ -4,12 +4,21 @@ Use SQLAlchemy to create a sqlite database named system/genai/temp/create_db_mod
 
 Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
 
+Be sure to create classes, never tables.
+
 Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
 this means you can not enter string attributes where a date or datetime object is expected.
 
 Don't install additional packages.
 Don't use the faker pip package.
 
-Create some test data, use foreign key columns instead of relationship names for the data.  Do not print the test data.  Be sure to initialize derived attributes, but do not rely on LogicBank.
+Create multiple rows of test data for each table, and follow these guidelines carefully:
+* Use foreign key columns instead of relationship names for the data.  
+* Create separate objects for each test data row, not in arrays. 
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+and do not generate db.execute statements.
+* Do not create arrays of test data.
+* Do not create a function to load test data.  
+* Do not print the test data. 
 
-For each data model class, create a docstring describing the table, prefixed with 'description: '. 
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/sqlite_inserts_iterations.prompt

@@ -0,0 +1,25 @@
+
+{{prompt}}
+
+Update the prior response - be sure not to lose classes and test data already created.
+
+Hints: use autonum keys (for all tables - including for link/join/junction/intersection tables), allow nulls, foreign keys, no check constraints.
+
+Be sure to create classes, never tables.
+
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, 
+this means you can not enter string attributes where a date or datetime object is expected.
+
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create multiple rows of test data for each table, and follow these guidelines carefully:
+* Use foreign key columns instead of relationship names for the data.  
+* Create separate objects for each test data row, not in arrays. 
+* Be sure to initialize derived attributes for test data rows - including all sums and counts, but do not rely on LogicBank,
+and do not generate db.execute statements.
+* Do not create arrays of test data.
+* Do not create a function to load test data.  
+* Do not print the test data. 
+
+For each data model class, create a docstring describing the table, prefixed with 'description: '. 

api_logic_server_cli/prototypes/manager/system/genai/prompt_inserts/web_genai copy.prompt

@@ -0,0 +1,15 @@
+Use SQLAlchemy to create a sqlite database named system/genai/temp/model.sqlite  .
+the purpose of the database is: 
+
+{{prompt}}
+
+Create at least 15 tables.
+
+Hints: use autonum keys, allow nulls, foreign keys, no check constraints.
+If you choose to use a date, only use python datetime datatype.
+Remember that SQLite DateTime type only accepts Python datetime and date objects as input, this means you can not enter string attributes where a date or datetime object is expected.
+Don't use python DECIMAL type.
+Don't install additional packages.
+Don't use the faker pip package.
+
+Create a few rows of sample data, use foreign key columns instead of relationship names for the data .

api_logic_server_cli/prototypes/manager/system/genai/examples/emp_depts/emp_dept_explicit.prompt

@@ -1,7 +0,0 @@
-Departments and Employees in departments, and on loan to departments.
-
-Use Logic Bank to ensure
-1. Department.TotalSalaries = sum(employee.salary) 
-2. Department.TotalSalaries < Department.Budget
-3. Department.CountEmployees = count(employees)
-4. Department.CountEmployees < 25

api_logic_server_cli/prototypes/manager/system/genai/examples/emp_depts/emp_dept_implicit_fails.prompt

@@ -1,5 +0,0 @@
-Departments and Employees in departments, and on loan to departments.
-
-Use Logic Bank to ensure
-1. The sum of employee salaries does not exceed the department budget
-2. There can be no more than 25 employees in a department.