verified, the rule base represents

verified, the rule base represents a closed world:
local verification criteria are met for the rule base as
a whole if they are met for each rule cluster individually.

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

ตรวจสอบ ฐานกฎหมายถึงโลกปิด:เกณฑ์การตรวจสอบภายในเป็นไปตามกฎพื้นฐานเป็นทั้งหมดพวกเขาได้ ตามคลัสเตอร์แต่ละกฎสำหรับแต่ละ

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

การตรวจสอบฐานกฎหมายถึงโลกที่ปิด: หลักเกณฑ์การตรวจสอบในประเทศจะพบกันเป็นฐานการปกครองเป็นทั้งหากพวกเขาจะได้พบกับสำหรับคลัสเตอร์แต่ละกฎเป็นรายบุคคล

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

ยืนยัน กฎพื้นฐานของโลกปิด :
เกณฑ์การตรวจสอบท้องถิ่นจะพบฐานการปกครองเป็น
ทั้งหมดถ้าพวกเขาจะพบกฎแต่ละกลุ่มเป็นรายบุคคล