Adding Examples from SMT Web