logicalimplication tagslist