------------------------------------------
{compObjWrittenByActivityBeforeActivity(x19,a10,a10,7), subsActivityBeforeActivity(a2,a2,8)}

{}

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

{compObjWrittenByActivityBeforeActivity(x7,a20,a23,11), compObjWrittenByActivityBeforeActivity(x14,a20,a10,8)}