Input: Joe is taller than I think Mary is.
Output: 1