Function is_opaque_verb 

pub fn is_opaque_verb(verb: Symbol, interner: &Interner) -> bool

Checks if a verb creates an opaque (intensional) context.

Opaque verbs like “believes”, “wants”, “seeks” block substitution of co-referential terms. For example:

• “John believes Clark Kent flies” ≠ “John believes Superman flies”