sentential function: formal expression containing variables; becomes a sentence when variables are replaced by constants
formula: a group of symbols that make a mathematical statement
watering cart: water cart with a tank and sprinkler for sprinkling roads