Xsemantics is a DSL for writing type systems, reduction rules, interpreters and in general relation rules for languages implemented in Xtext.
'net.sf.xsemantics:it.xsemantics.runtime:1.9.0'
<dependency>
<groupId>net.sf.xsemantics</groupId>
<artifactId>it.xsemantics.runtime</artifactId>
<version>1.9.0</version>
</dependency>
<dependency org="net.sf.xsemantics" name="it.xsemantics.runtime" rev="1.9.0"/>
"net.sf.xsemantics", "it.xsemantics.runtime", "1.9.0"