------------------------------------------
{compObjWrittenByActivityBeforeActivity(x24,a13,a13,6), subsActivityBeforeActivity(a4,a4,7)}

{}

{compObjWrittenByActivityBeforeActivity(x24,a5,a13,6)}