(documentationresourceExhaustedEnglishLanguage "(resourceExhausted ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is completely used up by the ?PROCESS. For example, fuel is a resourceExhausted in the following proposition: the plane run out of fuel and ditched in the sea.")