Text this: P-graph--A graph model for anomaly checking of knowledge bases

  _____      ___      ______   _    _     _____   
 /  ___||   / _ \\   /_   _// | || | ||  / ____|| 
| // __    / //\ \\    | ||   | || | || / //---`' 
| \\_\ || |  ___  ||  _| ||   | \\_/ || \ \\___   
 \____//  |_||  |_|| /__//     \____//   \_____|| 
  `---`   `-`   `-`  `--`       `---`     `----`