"Machine learning" . "Logical consequence" . "Data mining" . "Moment (mathematics)" .