------------------------------------------
{subsActivityBeforeActivity(a10,a10,7)}

{compObjWrittenByActivityBeforeActivity(x23,a12,a12,9)}

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

{redundant(x18,a17,a12,11), compObjWrittenByActivityBeforeActivity(x18,a17,a10,9)}


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

{}

{}

{}