------------------------------------------
{subsActivityBeforeActivity(a13,a13,12), subsActivityBeforeActivity(a31,a31,13), subsActivityBeforeActivity(a5,a5,17)}

{compObjWrittenByActivityBeforeActivity(x6,a13,a13,13)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x23,a40,a31,16)}

{compObjWrittenByActivityBeforeActivity(x2,a3,a18,18)}

{}

{}