EP1503329A3 - Method and system for determining whether a situation is logically true or false upon occurrence of an event