Online "Book Flights" facility for an airline

Rule Statement Templates

RT38.  Each <term 1> {<qualifying clause>|}
must <verb phrase>
<cardinality> <term 2> {<preposition> {each|the} <term 3>|}
{{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 whether
{{or not|}
    {it|the <term 2>} <verb phrase 1> {<article> <term 3>|}|
    {it|the <term 4>} <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>
{{if|unless} <conditional clause>|}.
  (from which rule statement RS11 can be generated)
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)
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)
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)
RT25.  A <term 1> is by definition
a {<term 2> <qualifying clause>|<or-list>}.
  (from which rule statements RS81 and RS82 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)
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)
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)
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)
RT37.  A valid <term 1>
is by definition composed of <format definition>.
  (from which rule statements RS132 to RS136 can be generated)
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)