# Use

In Semantic Model the use statement allows you to include other Semantic and Domain models. This means that if you included another semantic model through the use statement, you can call its predicates. Similarly it works with a domain model.

For example, below we include AutodromeDSL domain model:

use AutodromeDSL from org.d0sl.examples.auto.AutodromeDSL


After that we can call domain functions defined in AutodromeDSL in our Semantic Model like this:

def can stop2(car : Car) means
check all