arcs must be directed (is A a subty

arcs must be directed (is A a subtype of B or vice versa)
graph must be acyclic (proper subtype)
delete arc from C to A (transitively implied)

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

ต้องนำส่วนโค้ง (เป็น A ชนิดย่อย ของ B หรือกลับกัน)กราฟต้อง acyclic (ชนิดย่อยที่เหมาะสม)ลบโค้งจาก C ไป A (transitively เหล่าโดยนัย)

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

โค้งจะต้องกำกับ (A เป็นชนิดย่อยของ B หรือกลับกัน)
กราฟจะต้องเป็นวัฏจักร (ชนิดย่อยที่เหมาะสม)
ลบโค้งจาก C ไป A (โดยนัยสกรรมกริยา)

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

ARCS ต้องกำกับ ( เป็นชนิดย่อยของ B หรือในทางกลับกัน )ความเฉื่อย ( กราฟต้องเหมาะสมทั้ง )ลบส่วนโค้งจาก C ( สกรรมกริยา ) )