The present invention has a cholinergic muscarinic M1 receptor positive allosteric modulator activity and is used as a preventive or therapeutic agent for Alzheimer's disease, schizophrenia, pain, sleep disorder, Parkinson's disease with dementia, Lewy body dementia, etc. Provided are compounds that may be useful. The present invention relates to a compound represented by the formula (I) or a salt thereof. [Each symbol in the formula is as described in the attached specification. ]本発明は、コリン作動性ムスカリンM1受容体ポジティブアロステリックモジュレーター活性を有し、アルツハイマー病、統合失調症、痛み、睡眠障害、認知症を伴うパーキンソン病、レヴィー小体型認知症等の予防又は治療薬として有用であり得る化合物を提供する。本発明は、式(I)で表される化合物またはその塩に関する。[式中の各記号は添付の明細書に記載の通りである。]