fact: Definition WeatherSchema := Query Structure Schema [ relation CELLS has schema <CELL_ID :: nat, STATE :: State, AREA_CODE :: nat, DETAILS :: string> where attributes [STATE] depend on [AREA_CODE]; relation MEASUREMENTS has schema <CELL_ID :: nat, VALUE :: Z, MEASUREMENT_TYPE :: MeasurementType, DAY :: nat, TIME :: nat> ] enforcing [attribute CELL_ID for MEASUREMENTS references CELLS].
imports: Fiat.QueryStructure.Automation.MasterPlan