Tabular verification & validation of knowledge-based systems