UvA-DARE ( Digital Academic Repository ) Toward probabilistic natural logic for syllogistic reasoning