Você definiu o alvo da regra como um tipo abstrato (como Computador). As regras não são executadas em tipos abstratos, mas ...

Você definiu o alvo da regra como um tipo abstrato (como Computador). As regras não são executadas em tipos abstratos, mas em todos os tipos derivados significativos (como Computador com Windows).