এই পাঠটি: Logical network model with predicate operations