------------------------------------------
{subsActivityBeforeActivity(a20,a20,10)}

{compObjWrittenByActivityBeforeActivity(x7,a2,a15,7)}

{compObjWrittenByActivityBeforeActivity(x20,a10,a15,8)}

{compObjWrittenByActivityBeforeActivity(x1,a20,a2,10), compObjWrittenByActivityBeforeActivity(x8,a20,a20,13)}