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

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x20,a10,a17,12)}

{compObjWrittenByActivityBeforeActivity(x13,a18,a25,10)}