Liquids by Xavid

Version 2/191114 of Liquids by Xavid begins here.

"Basic support for sources of liquids and things that can hold a liquid, more minimalist than Liquid Handling by Al Golden."

Include version 3 of Expanded Understanding by Xavid.

Chapter 1 - Basic Implementation

Section 1 - Kinds

A thing can be water-tight.

A vessel is a kind of thing. Vessels are always water-tight.

A liquid is a kind of value.
There is a liquid called emptiness.

Section 2 - Properties

A thing has a liquid called the contained liquid.
Definition: a thing (called T) is empty rather than nonempty if the contained liquid of T is emptiness.

A thing has a liquid called the available liquid.
Definition: a thing is liquid-yielding if the available liquid of it is not emptiness.

Section 3 - Relations

Full of relates a thing (called T) to a liquid (called L) when the contained liquid of T is L.
The verb to be full of means the full of relation.
The verb to fill means the reversed full of relation.

Source of relates a thing (called T) to a liquid (called L) when the available liquid of T is L.
The verb to yield means the source of relation.
The verb to be available at means the reversed source of relation.

Section 4 - Understanding Liquids

Understand the contained liquid property as describing a thing when the item described is nonempty.

Understand "empty" as an empty water-tight thing.
[ This lets you do things like "x cup of water", "x full cup", or "x cup full of water". ]
Understand "full" or "of" as an nonempty water-tight thing.

Understand the available liquid property as describing a thing when the item described is liquid-yielding.

Section 6 - Printing

Rule for printing inventory details of a water-tight thing (called v):
   say "[vessel detail for v]".
Rule for printing room description details of a water-tight thing (called v):
   say "[vessel detail for v]".
To say vessel detail for (v - a water-tight thing):
   if v is nonempty:
     say " (full of [the contained liquid of v])";
   else if nothing is in v:
     say " (empty)".

Chapter 2 - Verbs

Section 1 - Filling

Filling it from is an action applying to two things.
Understand "fill [a water-tight thing] from/at/in/with [a visible liquid-yielding thing]" as filling it from.
Understand "fill [a water-tight thing] from/at/in/with [a nonempty water-tight thing]" as filling it from.
Understand "fill [something preferably held] from/at/in/with [something]" as filling it from.
Understand "pour [a nonempty water-tight thing] into/in [a water-tight thing]" as filling it from (with nouns reversed).
Understand "empty [a nonempty water-tight thing] into/in [a water-tight thing]" as filling it from (with nouns reversed).
Understand "pour [something preferably held] into/in [something preferably held]" as filling it from (with nouns reversed).
Understand "put [a nonempty water-tight thing] in/into [a water-tight thing]" as filling it from (with nouns reversed).
Understand "put [a visible liquid-yielding thing] in/into [a water-tight thing]" as filling it from (with nouns reversed).

Check an actor filling something from (this is the can't fill from itself rule):
   if the noun is the second noun:
     instead say "You can't fill something from itself!".
Check an actor filling something from (this is the can't fill something not water-tight rule):
   if the noun is not water-tight:
     instead say "[The noun] can't hold a liquid!".
Check an actor filling something from (this is the can't fill from things without liquid rule):
   if the second noun is not liquid-yielding and the second noun is not water-tight:
     instead say "You can't fill something from [the second noun]!".
Check an actor filling something from (this is the can't fill something closed rule):
   if the noun is openable and the noun is closed:
     instead say "[The noun] [are] closed."
Check an actor filling something from (this is the can't fill from something closed rule):
   if the second noun is openable and the second noun is closed:
     instead say "[The second noun] [are] closed."
Check an actor filling something from (this is the can't fill from something empty rule):
   if the second noun is an empty water-tight thing:
     instead say "[The second noun] is empty!".
Check an actor filling something from (this is the can't fill something full rule):
   if the noun is not empty:
     instead say "[The noun] is already full of [the contained liquid of the noun]!".
Check an actor filling something from (this is the implicitly take portable sources when filling rule):
   if the second noun is portable and the actor is not carrying the second noun:
     carry out the implicitly taking activity with the second noun;
     if the actor is not carrying the second noun, stop the action.
Check an actor filling something from (this is the implicitly take thing being filled if portable rule):
   if the noun is portable and the actor is not carrying the noun:
     carry out the implicitly taking activity with the noun;
     if the actor is not carrying the noun, stop the action.
    
Carry out an actor filling something from something water-tight (this is the filling from something water-tight rule):
   now the contained liquid of the noun is the contained liquid of the second noun;
   now the contained liquid of the second noun is emptiness.
Carry out an actor filling something from something liquid-yielding (this is the filling from something liquid-yielding rule):
   now the contained liquid of the noun is the available liquid of the second noun.

To pour is a verb. To fill is a verb.
Report an actor filling something from a portable water-tight thing (this is the report filling from a portable water-tight thing rule):
   say "[The actor] [pour] the [contained liquid of the noun] from [the second noun] into [the noun].";
Report an actor filling something from a portable liquid-yielding thing (this is the report filling from a portable liquid-yielding thing rule):
   say "[The actor] [pour] some [contained liquid of the noun] from [the second noun] into [the noun].";
Report an actor filling something from something fixed in place (this is the report filling from something fixed in place rule):
   say "[The actor] [fill] [the noun] with [contained liquid of the noun] from [the second noun]."

Section 2 - Emptying as Filling

Check an actor emptying a nonempty water-tight thing into something:
   convert to the filling it from action on the second noun and the noun.

Section 3 - Emptying (not as Filling)

[ These will all get converted into the "emptying it into" action by the rule in Expanded Understanding ]
Understand "empty [a held nonempty water-tight thing]" as emptying.
Understand "pour out/-- [a held nonempty water-tight thing] out/--" as emptying.
Understand "pour out/-- [something preferably held] out/--" as emptying.

The emptying it into action has a liquid called the former contents.

The can't empty something empty rule does nothing if the noun is a nonempty water-tight thing.

To do is a verb.
Check an actor emptying a water-tight thing into (this is the Liquids can't empty something empty rule):
   if the noun is not nonempty and the noun contains nothing:
     instead say "[The noun] [don't] have anything in [them] to pour out."

Carry out an actor emptying something into (this is the emptying rule):
   now the former contents is the contained liquid of the noun;
   now the contained liquid of the noun is emptiness.

To pour is a verb. To dump is a verb.
Report an actor emptying something into when the former contents is not emptiness:
   if the list of marked for listing things is empty:
     instead say "[The actor] [pour] out the [former contents] from [the noun].";
   else:
     instead say "[The actor] [dump] out the [former contents] as well as [the list of marked for listing things] from [the noun]."

Emptying it from is an action applying to one liquid and one carried thing.
Understand "empty [a liquid] from [a held nonempty water-tight thing]" as emptying it from.
Understand "empty [a liquid] from [something preferably held]" as emptying it from.
Understand "remove [a liquid] from [a held nonempty water-tight thing]" as emptying it from.
Understand "remove [a liquid] from [something preferably held]" as emptying it from.

Check an actor emptying a liquid (called L) from something:
   if the contained liquid of the second noun is L:
     instead try the actor emptying the second noun;
   else if the contained liquid of the second noun is emptiness:
     instead say "[The second noun] [don't] have any [L] in [them] to pour out.";
   else:
     instead say "[The second noun] [are] full of [the contained liquid of the second noun], not [L]."

Section 4 - Getting as Filling

Instead of taking a fixed in place liquid-yielding thing:
   if an empty water-tight thing (called C) is held:
     try filling C from the noun;
   else:
     say "You don't have anything to put [the available liquid of the noun] from [the noun] into."

Section 5 - Pouring Onto

Pouring it onto is an action applying to one carried thing and one thing.
Understand "empty [a held nonempty water-tight thing] on/onto [something]" as pouring it onto.
Understand "empty [something preferably held] on/onto [something]" as pouring it onto.
Understand "pour out/-- [a held nonempty water-tight thing] out/-- on/onto/at [something]" as pouring it onto.
Understand "pour out/-- [something preferably held] out/-- on/onto/at [something]" as pouring it onto.
Understand "douse [something] with [a held nonempty water-tight thing]" as pouring it onto (with nouns reversed).
Understand "douse [something] with [something preferably held]" as pouring it onto (with nouns reversed).
Understand the command "dump" as "pour".

Definition: something is non-supporter if it is not a supporter.
Understand "put [a held nonempty water-tight thing] on [a non-supporter thing]" as pouring it onto.

Check an actor pouring something onto something (this is the can't pour something not held rule):
   if the actor is not carrying the noun:
     carry out the implicitly taking activity with the noun;
     if the actor is not carrying the noun, stop the action.
Check an actor pouring something onto something (this is the can't pour something empty onto rule):
   if the noun is not a nonempty water-tight thing:
     if the noun is liquid-yielding:
       instead say "That doesn't seem like it'd work very well.";
     else:
       instead say "[The noun] [don't] have anything in [them] to pour out."
Last check an actor pouring something onto something (this is the block pouring onto rule):
   instead say "Drenching [the second noun] in [contained liquid of the noun] doesn't seem like it would improve the situation."

Carry out an actor pouring something onto something (this is the pouring onto rule):
   now the contained liquid of the noun is emptiness.

Report an actor pouring something onto something (this is the report pouring onto rule):
   say "[The actor] [pour] out the [former contents] from [the noun] onto [the second noun]."

Section 6 - Drinking

Understand "drink from [something preferably held]" as drinking.
Understand "drink from [a nonempty held water-tight thing]" as drinking.
Understand "drink from [a visible liquid-yielding thing]" as drinking.
Understand "drink [a visible liquid-yielding thing]" as drinking.
Understand "drink [a nonempty held water-tight thing]" as drinking.

The drinking action has a liquid called the beverage.

The block drinking rule is not listed in any rulebook.

To drink is a verb.
Check an actor drinking something (this is the can't drink non-liquidy things rule):
   if the noun is not liquid-yielding and the noun is not a nonempty water-tight thing:
     instead say "[The noun] doesn't contain anything to drink!".
Check an actor drinking something (this is the implicitly take thing being drunk if portable rule):
   if the noun is portable and the actor is not carrying the noun:
     carry out the implicitly taking activity with the noun;
     if the actor is not carrying the noun, stop the action.

Carry out an actor drinking something water-tight (this is the drinking from something water-tight rule):
   now the beverage is the contained liquid of the noun;
   now the contained liquid of the noun is emptiness;
Carry out an actor drinking something liquid-yielding (this is the drinking from something liquid-yielding rule):
   now the beverage is the available liquid of the noun.

Report an actor drinking something (this is the report drinking rule):
   if the noun is liquid-yielding:
     say "[The actor] [drink] [beverage] from [the noun].";
   else:
     say "[The actor] [drink] the [beverage] from [the noun]."

Section 7 - Error Messages

Check an actor inserting something into a water-tight thing that is not a container (this is the can't insert into water-tight non-containers rule):
   if the actor is the player:
     say "[The second noun] is better suited for carrying liquids.";
   stop the action.

Chapter 3 - Standard Liquids

Section 1 - Water

There is a liquid called water.

Definition: something is watery if it yields water or it is full of water.

Watering is an action applying to one thing.
Understand "water [something]" as watering.

Check an actor watering something (this is the need a water source to water something rule):
   if the actor does not hold something watery:
     instead say "[The actor] [do]n't have any water."
Carry out an actor watering something:
   try the actor pouring a random watery thing held by the actor onto the noun.

Liquids ends here.