which public figure with a medical condition was heavier than 51.0?
(AND medicine.notable_person_with_medical_condition (gt people.person.weight_kg 51.0^^http://www.w3.org/2001/XMLSchema#float))