The predicate seems like a subscript to σ and argument relation is given in parenthesis next σ. Predicates is often described using the operators =, !=, = etcetera. and They could be related by using the connectives.We have upgraded our commenting platform! Existing comments will probably be importe