20051127 unknown: What is the difference between a porch and a portico?