Text this: Realization of business rules represented using formal logic sentences in information systems