Definition:Substatement of Compound Statement