Online "Book Flights" facility for an airline

As we begin Part 25 , we have:

• a rule taxonomy,
• some rule statement templates and sub-templates for generating rule statements of each type,
• metarules defining which template is used for each rule type and how,
• a set of rule statements, and
• the fact types the rule statements are based on.

Note

The font and colour conventions used in these rule statements, fact types, and templates reflect those in the SBVR, namely:  underlined teal for terms, italic blue for verb phrases, orange for keywords, and double-underlined green for names and other literals.