sentence1: Infer also has a domain specific language for abstract syntax tree linting , based on ideas from Model Checking for Computation Tree Logic
sentence2: Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .