Скорее всего, что-то не хватает / неправильно в предварительном условии У вас есть это для действия pickup
:
(exists (?f - pose ?g - gripper)
(at-pose robotarm pregrasppose))
Обратите внимание, что вы вообще не используете переменные ?f
и ?g
в свободном доступе.