
------------------------------------------
{}

{compObjWrittenByActivityBeforeActivity(x7,a10,a10,10)}

{compObjWrittenByActivityBeforeActivity(x2,a2,a10,11)}

{compObjWrittenByActivityBeforeActivity(x2,a5,a2,11), compObjWrittenByActivityBeforeActivity(x3,a5,a7,9)}

{compObjWrittenByActivityBeforeActivity(x6,a6,a2,15)}

{compObjWrittenByActivityBeforeActivity(x8,a11,a6,18)}

