Following rules are implemented within the current version of SWAT:

4Eyes (Four-Eyes Principal)
This rule checks for the Four-Eyes Principal. It takes two different activities and checks whether these activites are performed by different persons.

A is last activity
This rule evaluates if the given activity is the last activity in the traces.

A performed by B
For activity A this rule checks if it was performed by the Person B.

Absent P
In this rule the user can verify if a given activity is within the log traces or not. If this rule evaluates to true (correct) this means that the activity is not present within the trace.

B after A
If activity A is present in the trace, activity B must also be present directly afterwards.

B after N occurences of A
If activity A occurred at least N times, B must follow after the last occurrence of A

B or C after A
If activity A occurred, activity B or C must occur after this activity A.

B or C before A
If activity A occurred, activity B or C must occur before this activity A.

B some time before A
This rule states that activity B must occur before activity A. It does not depend on any timing constraints. B may occur right before A or any other time as long as it is before the completion time of A.

B some time before N occurences of A
If A occurred at least N times, B must be completed before the first occurrence of A

C after A and B
If Activities A and B are present, Activity C must happen at some point afterwards

C between A and B
If activities A and B are present, activity C must be finished after A but before B

C some time before A and B
If activities A and B are present, activity C must be finished before activity A and B

Exists P
P must occur within the process log. P can be an activity or a certain user.

If A N times then B
If activity A occurred at least N time, B must also occur in the same trace.

If A and B and C then D
If activities A, B and C occur in the log trace, D must also occur afterwards in the trace.

If A and B then C
If activities A and B occur in the log trace, C must also occur afterwards in the trace.

If A and B then C or D
If both activities A and B occurred in a trace, activity C or D must occur in the trace

If A then B
If activity A occurred, activity B must also occur in the trace.

If A then B N times
If activity A occurred in the trace, B must occur at least N times afterwards in the trace.

If A then B is not allowed
If activity A occurred, B must not occur. This rule evaluates to correct if B was missing.

If A then B or C or D
If activity A occurred, activity B, C or D must also occur in the same trace. The order of B, C or D may be arbitrary.

If Activity A then B or C
If activity A occurred, activity B or C must also occur in the same trace. The order of B and C may be arbitrary

N repetitions of B before A
If at least N repetitions of B occurred in the trace, activity A must occur before the first instance of B

N repetition of B some time after A
If actitivy A occurred, at least N repetitions of B must occurred before activity A.

P LeadsTo Q
If P occurred in the trace, Q must also occur afterwards. Parameters P and Q can be activites or Users.

Repeat N-M times
A given activity must be repeated at least N times and at most M times within a trace.