Online "Book Flights" facility for an airline

Rule Statement Templates

Cardinality Rules
RT38.  Each <term 1> {<qualifying clause>|}
must <verb phrase>
<cardinality> <term 2>
{<preposition> {each|the} <term 3> {(if any)|}|}
{{if|unless} <conditional clause>|}.
  (from which rule statements RS8, RS9, RS12 to RS17, RS46, RS47, RS53, RS54, and RS61 to RS63 can be generated)
RT39.  {The|Each} <term 1> {(if any)|}
         that <verb phrase 1> each <term 2> {<qualifying clause>|}
must <verb phrase 2>
<cardinality> <term 3> {<preposition> {each|the} <term 4>|}
{{if|unless} <conditional clause>|}.
  (from which rule statements RS40 to RS45 can be generated)
RT16. Each <term 1> {<qualifying clause>|}
must {({if|unless} <conditional clause>)|} specify
{<preposition> {each|the} <term 2> {(if any)|}|}
whether
{{or not|} {it|{the|that} <term 3 >} <verb phrase 1>
    {<article> <term 4 >|}|
{it|the <term 5 >} <verb phrase 2> <or-list>}.
  (from which rule statements RS26 to RS29 can be generated)
RT17. Each <term 1> {<qualifying clause>|}
must <verb phrase>
{a|an} <term 2>, {a|an} <term 3> or both
{{if|unless} <conditional clause>|}.
  (from which rule statement RS30 can be generated)
RT18. Each <term 1> {<qualifying clause>|}
must <verb phrase>
{a|an} <term 2> or {a|an} <term 3> but not both
{{if|unless} <conditional clause>|}.
  (from which rule statement RS31 can be generated)
RT19. Each <term 1> {<qualifying clause>|}
must {({if|unless} <conditional clause>)|} <verb phrase>
<cardinality> of the following: <or-list>.
  from which rule statements RS32, RS34, and RS35 can be generated)
RT20.  {A|An} <term 1> {<qualifying clause>|}
must not <verb phrase>
{a|an} <term 2>
{<preposition> {any|the} <term 3> {(if any)|}|}
{{if|unless} <conditional clause>|}.
  (from which rule statement RS11 can be generated)
RT27.  The <set function> of {the|} <term 1> <qualifying clause>
must be
{<non-time range predicate>|<equality predicate>}
{{if|unless} <conditional clause>|}.
  (from which rule statements RS25, RS73, and RS74 can be generated)
Data content rules
RT21.  The <term 1> {<qualifying clause>|} {(if any)|}
    that <verb phrase> each <term 2> {<qualifying clause>|}
must be
<predicate>
{{if|unless} <conditional clause>|}.
  (from which rule statements RS19 to RS24, RS38, RS39, RS55, RS64 to RS66, RS70, RS126 and RS137 to RS146 can be generated)
RT22.  The combination of <simple and-list>
    {<qualifying clause>|} {(if any)|}
    that <verb phrase> each <term 2> {<qualifying clause>|}
must be
<combination predicate>
{{if|unless} <conditional clause>|}.
  from which rule statements RS56 and RS60 can be generated)
RT28.  The set of <term 1> <qualifying clause>
must be the same as
the set of <term 2> <qualifying clause>
{{if|unless} <conditional clause>|}.
  (from which rule statement RS80 can be generated)
RT42.  {The|Each} combination of <simple and-list>
       {<qualifying clause>|} {(if any)|}
       that <verb phrase> each <term> {<qualifying clause>|}
must be such that <conditional clause>
{{if|unless} <conditional clause>|}.
RT43.  The <term 1>
       specified in each <term 2>
must not overlap the <term 1>
       specified in any other <term 2>
       {for|associated with} the same <term 3>
{{if|unless} <conditional clause>|}.
RT44.  Each <term 1> within the <term 2>
       specified in each <term 3>
must be within the <term 4>
       specified in {exactly|at least} one <term 5>
       {for|associated with} the <term 6>
       recorded in that <term 3>
{{if|unless} <conditional clause>|}.
RT45.  Each <term 1> within the <term 2>
       specified in each <term 3>
must be within the <term 4>
       specified in the <term 5>
       for the <term 6>
       with which that <term 3> is associated
{{if|unless} <conditional clause>|}.
RT46.  Each <term 1>
       specified in a <term 2>
must be different to the <term 1>
       specified in the latest of the earlier <term 2>
       for the same <term 3>
{{if|unless} <conditional clause>|}.
RT47.  Each combination of <simple and-list>
       specified in a <term 2>
must be different to the combination of <simple and-list>
       specified in the latest of the earlier <term 2>
       for the same <term 3>
{{if|unless} <conditional clause>|}.
Process rules
RT34.  {<determiner>|} <term 1> <qualifying clause 1>
must {not|} <verb phrase>
{<determiner> <term 2> {<qualifying clause 2>|}|}
<time range predicate>
{{if|unless} <conditional clause>|}.
  (from which rule statements RS96 to RS101 can be generated)
RT35.  {<determiner>|} <term 1> <qualifying clause 1>
may <verb phrase>
{<determiner> <term 2> {<qualifying clause 2>|}|}
only <time range predicate>
{{if|unless} <conditional clause>|}.
  (from which rule statement RS102 can be generated)
RT32.  A <term 1> {<qualifying clause 1>|}
may <verb phrase 1>
{<article>|} <term 2> {<qualifying clause 2>|}
only after that <term 1> {<process>|<process list>}.
  (from which rule statements RS104 to RS107 can be generated)
RT33.  A <term 1> {<qualifying clause 1>|}
may <verb phrase 1>
{<article>|} <term 2> {<qualifying clause 2>|}
only if <conditional clause>.
  (from which rule statements RS108 to RS115 can be generated)
Party rules
RT40. {A|An} <term 1> may <verb phrase>
{{a|an|the|} <term 2> {<qualifying clause>|}|}
only if that <term 1 > <condition>.
  (from which rule statements RS154 to RS159 can be generated)
RT41. The <term 1> <qualifying clause 1>
must {not|} be the same <term 1> <qualifying clause 2>.
  (from which rule statements RS160 and RS161 can be generated)
Structural (definitional) rules
RT25.  A <term 1> is by definition
a {<term 2> <qualifying clause>|<or-list>}.
  (from which rule statements RS81 and RS82 can be generated)
RT36.  Each <term 1>
<verb phrase> by definition
<cardinality> <term 2> {<preposition> each <term 3>|}.
  (from which rule statements RS117 and RS118 can be generated)
RT26.  The <term 1> {<qualifying clause>|} {(if any)|}
         that <verb phrase> each <term 2> {<qualifying clause>|}
is by definition
<predicate>
{{if|unless} <conditional clause>|}.
  (from which rule statements RS83 and RS84 can be generated)
RT29.  The set of <term 1> <qualifying clause>
is by definition the same as
the set of <term 2> <qualifying clause>
{{if|unless} <conditional clause>|}.
  (from which rule statement RS85 can be generated)
RT37.  A valid <term 1>
is by definition composed of <format definition>.
  (from which rule statements RS132 to RS136 can be generated)