Возможно ли сравнение типов в PDDL?

Например, если я объявляю типы как таковые:

:types
   bag
   light heavy - bag

Другими словами, есть два типа сумок: легкие и тяжелые. Можно ли в рамках действия проверить, относится ли переменная типа bag к типу light, не имея экземпляра light для сравнения?

Я знаю, что возможно сравнение равенства как таковое:

(when ( = ?light ?bag))

но это проверяет, имеют ли две переменные одинаковое значение, а не один и тот же тип.

Я попробовал (when ( = light ?bag)), и хотя планировщик не выдает ошибок, похоже, он не работает.