Towards Logical Specification of Statistical Machine Learning