Input: Not a bad choice here , assuming that ... the air-conditioning in the theater is working properly .
Output: NEG