0-1 Law, bisimulation, Cardinality Restrictions, complexity, counting quantifiers, Description Logic, expressivity, Number Restrictions, QFBAPA.