------------------------------------------
{subsActivityBeforeActivity(a14,a14,8), subsActivityBeforeActivity(a23,a23,9), subsActivityBeforeActivity(a1,a1,10)}

{compObjWrittenByActivityBeforeActivity(x11,a23,a23,11)}

{}

{}

{}


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

{}

{}

{}

{}