------------------------------------------
{}

{compObjWrittenByActivityBeforeActivity(x13,a21,a17,10)}

{compObjWrittenByActivityBeforeActivity(x13,a13,a21,10)}

{compObjWrittenByActivityBeforeActivity(x13,a19,a13,10)}

{redundant(x32,a3,a3,17), compObjWrittenByActivityBeforeActivity(x19,a3,a3,17), compObjWrittenByActivityBeforeActivity(x32,a3,a13,15)}

{compObjWrittenByActivityBeforeActivity(x5,a2,a13,16)}

{}