RelationshipType enum

First and second argument are the same expression.

First argument generalizes the second, i.e. applies to a superset of the states the second argument covers.

Connot tell how the first and second arguments relate.

First argument specializes the second, i.e. applies to a subset of the states the second argument covers.