------------------------------------------
{subsActivityBeforeActivity(a17,a17,7), subsActivityBeforeActivity(a15,a15,10)}

{compObjWrittenByActivityBeforeActivity(x11,a18,a18,9)}

{}

{}


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

{}

{}

{}