Text this: Validating and verifying knowledge-based systems /