Input: John believes for Bill to have slept.
Output: 0