/Я language (β)/Behaviour/Claim/

> Claim : forall e t . t `C'AR__` t `L` Given e `T` _

Interpretation: this label gives access to a Given value.