إرسال التسجيلة بالبريد الالكتروني: Predicting protein functions by applying predicate logic to biomedical literature