The stage text and its staging: a knowledge base for reconstructing a performance through its documents