Table explicitly_implements

predicate explicitly_implements(@member id, @interface_or_ref interface_id)