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

{compObjWrittenByActivityBeforeActivity(x19,a20,a19,7)}

{redundant(x21,a23,a23,40), redundant(x21,a23,a23,60), compObjWrittenByActivityBeforeActivity(x21,a23,a10,29), compObjWrittenByActivityBeforeActivity(x21,a23,a23,11)}

{}


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

{}

{}

{}