Added replace_conjunction/4