Systems of Intertextuality. Towards a formalization of text relations for manual annotation and automated reasoning