[rules-users] help in date time format

Hi, My requirement is to compare two dates one a date object and the other a date literal. In comparison it should also consider time. There is format given for date literal (dd-mmm-yyy) but how can we add time to it? I tried adding time it doesn't complain but seems to ignore the time part in the date literal. below is the example Exam(name=="Math", examDate<="13-may-2010") this is my pattern. tried Exam(name=="Math", examDate<="15-may-2010 17:00:00") but time ignored while executing. Is there any format for DateTime? Thanks, sudhir.