------------------------------------------
{compObjWrittenByActivityBeforeActivity(x3,a1,a1,5)}

{redundant(x10,a23,a23,7), compObjWrittenByActivityBeforeActivity(x3,a23,a1,5), compObjWrittenByActivityBeforeActivity(x10,a23,a1,6)}


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

{}