Task: Misc.
Input (English): condition
Output (English): proposition