IN: Regel OUT: boolscher Wert SEM: Test, ob eine Evaluatorregel vorliegt PRECOND: Predicates.Check muss vorher ausgewertet sein
See Implementation
IN: Regel OUT: boolscher Wert SEM: Test, ob eine Evaluatorregel vorliegt PRECOND: Predicates.Check muss vorher ausgewertet sein