Kr ( v ?- *: