Implement examine, refactor “contains” relation.