Added place holders for sub documents
Translated Alloy Concepts