------------------------------------------
{compObjWrittenByActivityBeforeActivity(x13,a12,a12,9), subsActivityBeforeActivity(a20,a20,10), subsActivityBeforeActivity(a15,a15,12)}

{compObjWrittenByActivityBeforeActivity(x13,a20,a12,9)}

{compObjWrittenByActivityBeforeActivity(x20,a3,a3,14), compObjWrittenByActivityBeforeActivity(x25,a3,a12,11)}

{}

{}

{}