------------------------------------------
{compObjWrittenByActivityBeforeActivity(x12,a17,a17,8), subsActivityBeforeActivity(a7,a7,9)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x3,a14,a7,11)}

{}