Explain
Surface causality and trace the "Why" behind any fact.
Concept
In complex systems, knowing that something is true is less useful than knowing why. The Explain pragmatic traverses the Justification DAG (Directed Acyclic Graph) maintained by the reasoning engine.
Syntax
Explain why the user has access.
Execution Logic
The engine looks up the target fact ID (e.g., UserHasAccess). It then retrieves the Justification Record:
Fact(UserHasAccess)
CREATED_BY Rule(AdminRule)
SUPPORTED_BY Fact(UserIsAdmin)
CREATED_BY Fact(ConfigLoader)
It recursively formats this tree into human-readable CNL text:
"The user has access because Rule 'AdminRule' applies. Rule 'AdminRule' applies because the user is an admin."