------------------------------------------
{subsActivityBeforeActivity(a18,a18,6)}

{compObjWrittenByActivityBeforeActivity(x15,a23,a23,8), compObjWrittenByActivityBeforeActivity(x23,a23,a18,7)}

{}