Input: Is Alice invited to the party next month?
Output: user