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 
    not AutodromeDSL.wall ahead(car) 
    not AutodromeDSL.road sign(car) 
    AutodromeDSL.car ahead(car) 
  end 
end def