if ( exists $facts{gives}{Ovid}{book}{merlyn} ) { ... }