------------------------------------------
{compObjWrittenByActivityBeforeActivity(x6,a11,a11,8), subsActivityBeforeActivity(a11,a11,8), subsActivityBeforeActivity(a22,a22,11), subsActivityBeforeActivity(a2,a2,12)}

{compObjWrittenByActivityBeforeActivity(x18,a6,a6,11)}

{}

{compObjWrittenByActivityBeforeActivity(x6,a22,a11,8), compObjWrittenByActivityBeforeActivity(x18,a22,a6,11)}

{}