Unload

You unload that motel, Pat.

You guys unload the stuff.

Can I unload the high speed film?

Well... We should unload all your stuff.

Now you're going to unload it yourself.

Unload of C, P, A adds C, A.

Take the car round back to unload it.

And the guys, they helped me unload the truck.

That's what people are willing to unload them for.

These are the guys, they helped me unload the truck.

Our train is not going any farther. We'll unload here.

There's no way I'm going to be able to unload my house tomorrow.

So to unload that great weight if that indeed exists you can recline.

It's the highest point you can bring your yaks before you have to unload.

And then I look at everything else, and I'm like, boy, can unload any of these assets overnight?

So you might have been thinking, why not just use its cash to unload some of that debt?

Because there's a lot of people who want to unload them, but there's not really anybody who's keen on buying it.

We look at our action schema, and there's only 1 action schema that adds an At, and that would be the Unload schema.

I get it, you have Rakubian unload stolen stuff on Phillips, to help Marla here, and then you buy it back from him.

So for all A and S for which it's possible to execute A in situation S, the In predicate holds if and only if the action was a load or the In predicate used to hold in the previous state and the action is not an unload.

And so what we would know is if we want to achieve this, then we would have to do an Unload where the C variable would have to be C1, the P variable is still unknown it could be any plane and the A variable has to be JFK.

So that In predicate will hold if and only if either A was a load action so if we load the cargo into the plane, then the result of executing that action A is that the cargo is in the plane or it might be that it was already true that the cargo was in the plane in situation S and A is not equal to an unload action.