------------------------------------------
{compObjWrittenByActivityBeforeActivity(x22,a9,a9,7)}

{compObjWrittenByActivityBeforeActivity(x20,a25,a25,9), compObjWrittenByActivityBeforeActivity(x22,a25,a9,7)}

{}

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