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

{compObjWrittenByActivityBeforeActivity(x5,a2,a2,9)}

{compObjWrittenByActivityBeforeActivity(x14,a6,a6,12)}

{compObjWrittenByActivityBeforeActivity(x17,a12,a14,8)}

{}