------------------------------------------
{subsActivityBeforeActivity(a17,a17,7), subsActivityBeforeActivity(a13,a13,9)}

{}

{compObjWrittenByActivityBeforeActivity(x7,a13,a13,11), compObjWrittenByActivityBeforeActivity(x13,a13,a16,9)}

{compObjWrittenByActivityBeforeActivity(x13,a11,a13,9)}


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

{}

{}

{}