Extended Kamp notation : a graphical notation for situation theory /