Sentence 1: Infer also has a domain abstract language for specific syntax tree linting , based on ideas from Model Checking for Computation Tree Logic .
Sentence 2: Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?