Does anyone know where you can practice translating for English to logic for inference questions. For example a bunch of question stems for practice and we translate them to logic.