Input: He has often seen Mary.
Output: 1