Reference to the jadice knowledge base