(Slot-Value-Type Self-Help-Or-Relief-Organization
Manages
Patient-Or-Disabled-Group)
(=> (Self-Help-Or-Relief-Organization ?Self)
(Exists
(?A)
(And (Performs ?Self ?A)
(Activity ?A)
(Exists
(?B)
(And (Conventional-Goal ?A ?B)
(Or (And (Assistance ?B)
(Exists (?C)
(And (Beneficiary ?B ?C)
(Needy ?C))))
(And (Assistance ?B)
(Exists
(?D)
(And (Beneficiary ?B ?D)
(Group ?D)
(Exists
(?E)
(And (Mereological-Member
?D
?E)
(Person ?E)
(Exists
(?F)
(And (Reference-Location-Of
?E
?F)
(Health-Condition ?F)))
(Forall
(?F ?G)
(=> (And (Reference-Location-Of
?E
?F)
(Reference-Location-Of
?E
?G))
(= ?F ?G))))))))))))))