sem trigger definitions modified.