Test-score semantics for natural languages and meaning representation via PRUF