Finished fluent definitions for all manipulation actions