Table: llanberis lake railway
Question: Are any of the trains in the llanberis lake railway built by the same builder and have the same type, but have different works numbers? Answer with only 'Yes' or 'No' that is most accurate and nothing else. 
Step 1 (Operation, Grouping): builder and type
Step 2 (Operation, Indexing): works number
Step 3 (Reasoning, Arithmetic): comparison, works number
Step 4 (Reasoning, Reasoning with Quantifiers): existential, different works number
Answer: Yes