added a lot in strategic part (possible clients and strategies associated) and also started the proof for the temporal defeasible logic