Sentence 1: If we have an alternating Turing machine , we use the resource ATIME .
Sentence 2: If we have an alternating turing machine , we use the ATIME resource .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?