fact: Definition FriendFinderSchema := Query Structure Schema [ relation PEOPLE has schema <NAME :: string, CITY :: string>; relation CITIES has schema <CITY :: string, LATITUDE :: nat, LONGITUDE :: nat> ] enforcing [attribute CITY for PEOPLE references CITIES].
imports: Fiat.QueryStructure.Automation.MasterPlan