------------------------------------------
{subsActivityBeforeActivity(a4,a4,8)}

{compObjWrittenByActivityBeforeActivity(x14,a2,a2,10)}

{compObjWrittenByActivityBeforeActivity(x13,a22,a4,9)}

{compObjWrittenByActivityBeforeActivity(x4,a24,a2,12)}

{}