Sponging   disallowed (Read-only view)

Direct succession applied to situations. E.g., 'Taking some rest is a postcondition of my search for a hotel'.

% meta-cartridges called:
Meta-cartridge [execution time]: