Concept
Derivable evaluation statement judgement
Journey Statuslearning
An Evaluation statement/judgement is derivable if there is a Derivation tree conforming to the evaluation relation whose root is that evaluation statement.
An Evaluation statement/judgement is derivable if there is a Derivation tree conforming to the evaluation relation whose root is that evaluation statement.