------------------------------------------
{subsActivityBeforeActivity(a25,a25,7), subsActivityBeforeActivity(a13,a13,10)}

{}

{compObjWrittenByActivityBeforeActivity(x20,a17,a25,8)}

{}