(define (operator lower)

all 'all 'upplasov' 'lower';  :parameters (?al ?s1)  :pccondition (and (holding?al ?s1) (raised ?s1))  :effect (and (not (raised ?s1))  : (forall ?x ( (ntable?x) (not (and (lower ?a2 ?s2)(not (= ?s1 ?s2)))))  (and (enfloor ?x) (not (ntable?x)))))
Lower

$$(\texttt{not}(\texttt{l i f t}\texttt{?a2}\texttt{?s i d e})\texttt{)}\qquad(\texttt{l i i})$$
$${\mathfrak{f}}^{*}$$

(lift ?a2 ?side)

![0_image_0.png](0_image_0.png)

(when antecedent effect)
(preconditions concurrency-constraints)
when

![0_image_1.png](0_image_1.png)

when

![0_image_2.png](0_image_2.png)

?