Input: Sentence 1: Joyce himself must have known the house as the residence of Mr. Denis J. Maginni, professor of dancing, who appears several times in Ulysses. Sentence 2: Denis J. Maginni never appears in Ulysses.
Output: 

 yes