Everyone who is entitled to national social insurance coverage can have their medical bills partially covered.
∀x (EntitledTo(x, nationalSocialInsuranceCoverage) → CanHavePartiallyCovered(x, medicalBills))