------------------------------------------
{compObjWrittenByActivityBeforeActivity(x13,a12,a12,6), subsActivityBeforeActivity(a12,a12,6)}

{compObjWrittenByActivityBeforeActivity(x13,a1,a12,6)}

{}