Special:EditPage/Association for Automated Reasoning