------------------------------------------
{compObjWrittenByActivityBeforeActivity(x17,a16,a16,9), compObjWrittenByActivityBeforeActivity(x23,a16,a16,9), subsActivityBeforeActivity(a16,a16,9), subsActivityBeforeActivity(a11,a11,10), subsActivityBeforeActivity(a8,a8,11)}

{compObjWrittenByActivityBeforeActivity(x17,a11,a16,9), compObjWrittenByActivityBeforeActivity(x17,a11,a11,14)}

{compObjWrittenByActivityBeforeActivity(x23,a8,a16,11)}

{}

{compObjWrittenByActivityBeforeActivity(x17,a3,a11,9), compObjWrittenByActivityBeforeActivity(x17,a3,a11,16), compObjWrittenByActivityBeforeActivity(x17,a3,a3,21)}

{compObjWrittenByActivityBeforeActivity(x2,a15,a8,21)}