fact: Definition ClassifierSchema := Query Structure Schema [ relation RULES has schema <PRIORITY :: nat, DESTINATION :: Ip, PROTOCOL :: Policy Protocol, ACTION :: bool> ] enforcing [ ].
imports: Fiat.QueryStructure.Automation.MasterPlan