<conditions and effects by general type>