------------------------------------------
{subsActivityBeforeActivity(a1,a1,8), subsActivityBeforeActivity(a7,a7,10), subsActivityBeforeActivity(a17,a17,11)}

{}

{compObjWrittenByActivityBeforeActivity(x3,a7,a1,9)}

{}

{}


------------------------------------------
{}

{}

{}

{}

{}