------------------------------------------
{compObjWrittenByActivityBeforeActivity(x17,a9,a9,5), subsActivityBeforeActivity(a9,a9,5)}

{}