------------------------------------------
{compObjWrittenByActivityBeforeActivity(x25,a5,a5,6), subsActivityBeforeActivity(a5,a5,6), subsActivityBeforeActivity(a19,a19,7)}

{compObjWrittenByActivityBeforeActivity(x18,a19,a19,10)}

{}