Hello stackoverflow community:
I have never seen attributes at lines before. So could someone explain me where these have to be defined?
Usually we have attributes in the classes at the second row. So I am confuded about this notation.

Hello stackoverflow community:
I have never seen attributes at lines before. So could someone explain me where these have to be defined?
Usually we have attributes in the classes at the second row. So I am confuded about this notation.

These are not "attributes", but these are association end names, which are also called "roles". It means the same as if the class And would have two properties mlhs and mrhs referring each to an Expression type. It also means that class Not would have an mexpr property.
By the way: