------------------------------------------
{subsActivityBeforeActivity(a16,a16,9), subsActivityBeforeActivity(a7,a7,10), subsActivityBeforeActivity(a20,a20,11)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x4,a4,a7,12), compObjWrittenByActivityBeforeActivity(x21,a4,a16,10)}

{compObjWrittenByActivityBeforeActivity(x5,a19,a20,16)}

{}