------------------------------------------
{subsActivityBeforeActivity(a25,a25,9), subsActivityBeforeActivity(a21,a21,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x17,a21,a25,10)}


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

{}

{}

{}