https://123dok.net/document/q5m3gvrr-finite-automata-simple-conceptual-graphs-binary-conceptual-relations.html