what public figure with medical condition has weight bigger than 78.0?
(AND medicine.notable_person_with_medical_condition (gt people.person.weight_kg 78.0^^http://www.w3.org/2001/XMLSchema#float))