Использование Eclipse Vorto для описания "PDDL-подобных" действий

Question

Я начал использовать Eclipse Vorto для своего проекта и, как часть описания моего устройства, хотел бы включить операции с предварительными условиями и эффектами, как в случае с PDDL (см. https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language). Например, я хотел бы включить следующее действие (используя формализм PDDL):

   (:action move
    :parameters (?from ?to)
    :precondition (and (at ?from))
    :effect (and (at ?to)
                (not (at ?from))))

Я прочитал документацию по vortolang (https://github.com/eclipse/vorto/blob/master/docs/vortolang-1.0.md), и единственный класс, который частично подходит для этой цели, - этоOperationучебный класс. Предыдущее действие PDDL будет сопоставлено со следующим:

move(from as string, to as string)

Конечно, в этом случае будут потеряны предпосылки и эффекты. Есть ли "ворто-подобный" способ выразить подобные действия PDDL?