# Semantics M1IE

This [test](.) is exercising the semantics rule [`M1IE`](../Readme.md).

### Description

In this test, we have an inequality expression of the form `c /~ d` where `c` is Void and `d` is an entity of type `INTEGER` with value `4`. The value of this expression is true because `c` is not attached.
