------------------------------------------
{compObjWrittenByActivityBeforeActivity(x6,a19,a19,6), subsActivityBeforeActivity(a19,a19,6), subsActivityBeforeActivity(a15,a15,7), subsActivityBeforeActivity(a25,a25,8)}

{}

{redundant(x21,a25,a25,12), compObjWrittenByActivityBeforeActivity(x13,a25,a15,10), compObjWrittenByActivityBeforeActivity(x21,a25,a15,10)}


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

{}

{}