------------------------------------------
{subsActivityBeforeActivity(a8,a8,10), subsActivityBeforeActivity(a5,a5,11)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x1,a5,a5,13)}

{}