Logical interpretation