server rules represented as list -> ordered match in sem6