------------------------------------------
{subsActivityBeforeActivity(a7,a7,7), subsActivityBeforeActivity(a24,a24,8)}

{}

{compObjWrittenByActivityBeforeActivity(x18,a25,a7,8)}

{compObjWrittenByActivityBeforeActivity(x19,a5,a24,11)}