Input: John believes Bill that Mary has slept.
Output: 0