An example of the Automated Taxonomic Concept Reasoner (ATCR) web interface and functionality. Shown are two input taxonomies (A, B) with three and two entailed concept regions, respectively. Each of these stands for a taxonomic concept as recognized and delimited by the respective source. The grey arrows symbolize given parent-child relationships within each input taxonomy. Green lines show user-specified input RCC-5 articulations. Mustard-coloured lines show logically contingent, reasoner-inferred articulations. The example is logically consistent; if it were not, then no mustard-coloured lines would be visualized.