------------------------------------------
{subsActivityBeforeActivity(a7,a7,6)}

{redundant(x4,a7,a10,110), compObjWrittenByActivityBeforeActivity(x4,a7,a7,7), compObjWrittenByActivityBeforeActivity(x4,a7,a1,109), compObjWrittenByActivityBeforeActivity(x4,a7,a10,34), compObjWrittenByActivityBeforeActivity(x4,a7,a10,60), compObjWrittenByActivityBeforeActivity(x4,a7,a10,85)}