Zaslat SMS: The impact of active domain predicates on guarded existential rules