Input: It is certain that John has loved Mary.
Output: 1