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

{compObjWrittenByActivityBeforeActivity(x21,a16,a7,7)}

{}