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

{}