В семантической модели оператор use позволяет вам включать другие семантические модели и модели домена. Это означает, что если вы включили другую семантическую модель через оператор use, вы можете вызывать ее предикаты. Аналогично это работает и с доменной моделью.

Например, ниже мы включили доменную модель AutodromeDSL:

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

После этого мы можем вызывать доменные функции, определенные в AutodromeDSL, в нашей семантической модели следующим образом:

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