Text this: Logical network model with predicate operations