is satisfied if and only if no role

is satisfied if and only if no role owns m or more permissions in P.

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

พอใจและถ้าหากไม่มีบทบาทเป็นเจ้าของ m หรือสิทธิ์เพิ่มเติมใน P.

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

มีความพึงพอใจและถ้าหากไม่มีบทบาทเป็นเจ้าของ M หรือสิทธิ์อื่น ๆ ในพี

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

จะพอใจถ้าและเพียงถ้าไม่มีบทบาทเป็นเจ้าของสิทธิ์เมตรหรือมากกว่านั้นในหน้า