fact: Definition MessagesSchema := Query Structure Schema [ relation MESSAGES has schema <PHONE_NUMBER :: nat, TIME :: nat, MESSAGE :: MessageT>; relation CONTACTS has schema <PHONE_NUMBER :: nat, NAME :: string> where attributes [NAME] depend on [PHONE_NUMBER] ] enforcing [attribute PHONE_NUMBER for MESSAGES references CONTACTS].
imports: Fiat.QueryStructure.Automation.MasterPlan