------------------------------------------
{subsActivityBeforeActivity(a20,a20,8), subsActivityBeforeActivity(a14,a14,10)}

{compObjWrittenByActivityBeforeActivity(x12,a6,a20,9)}

{compObjWrittenByActivityBeforeActivity(x9,a14,a14,13)}

{compObjWrittenByActivityBeforeActivity(x20,a5,a5,15)}

{}