------------------------------------------
{subsActivityBeforeActivity(a12,a12,6), subsActivityBeforeActivity(a2,a2,7)}

{compObjWrittenByActivityBeforeActivity(x10,a2,a12,7)}

{}


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

{}

{}