Câu 'Every order has a shipping charge' là một 'fact' vì nó mô tả một thực tế hoặc một sự kiện cụ thể trong hệ thống. Nó không phải là một 'constraint' vì nó không quy định một điều kiện nào cho hệ thống. Nó cũng không phải là một 'action enabler' vì nó không cho phép thực hiện một hành động nào. Cuối cùng, nó cũng không phải là một 'inference' vì nó không được rút ra từ một tập hợp dữ liệu nào. Thay vào đó, nó là một 'fact' vì nó mô tả một thực tế cụ thể về hệ thống.
