. "to have as a logical consequence"@en . "entail-01" . . . "entail.01" . . . . . "to have as a logical consequence"@en . .