등호를 포함하는 술어 논리 - Unisquads Wiki