and that it describes all of the sp

and that it describes all of the specified behavior of the high-level description

ผลลัพธ์ (ไทย) 1:

และที่จะอธิบายทั้งหมดของพฤติกรรมที่ระบุจากคำอธิบายของระดับสูง

ผลลัพธ์ (ไทย) 2:

และที่อธิบายลักษณะการทำงานระบุคำอธิบายระดับสูงทั้งหมด

ผลลัพธ์ (ไทย) 3:

และว่ามันจะอธิบายถึงลักษณะการทำงานที่ระบุในรายละเอียดอย่างคร่าวๆระดับสูงทั้งหมด