Sentence 1: A strategy for Eloise is '' uniform `` if whenever Formula 114 , Formula 130 is implied , if Abelard Formula 116 Formula 130 implies .
Sentence 2: A strategy for Eloise implies `` uniform '' if , whenever formula _ 114 , formula _ 130 ; for Abelard , if formula _ 116 is formula _ 130 .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?