------------------------------------------
{subsActivityBeforeActivity(a3,a3,8)}

{}

{compObjWrittenByActivityBeforeActivity(x10,a5,a5,10), compObjWrittenByActivityBeforeActivity(x15,a5,a11,7)}

{}