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

{compObjWrittenByActivityBeforeActivity(x23,a5,a7,6)}