. Such properties state that a part

. Such properties state that a particular situation con (or cannot) be reached.

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

. คุณสมบัติดังกล่าวระบุว่าสถานการณ์ con เฉพาะ (หรือไม่) ถึง

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

. คุณสมบัติดังกล่าวรัฐที่เหตุการณ์ติด (หรือไม่) เข้าถึง

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

.... คุณสมบัติ( Properties )รัฐเช่นว่านั้นที่ใดโดยเฉพาะสถานการณ์ดังกล่าว con (หรือไม่สามารถ)ที่จะมาถึง