fact: Definition WeatherSchema := Query Structure Schema [ relation CELLS has schema <CELL_ID :: W, AREA_CODE :: W, DETAILS :: W>; relation MEASUREMENTS has schema <CELL_ID :: W, VALUE :: W, MEASUREMENT_TYPE :: MeasurementType, DAY :: W, TIME :: W> ] enforcing [attribute CELL_ID for MEASUREMENTS references CELLS].
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory