"premise/precondition" Deutsche bedeutung