Predication Analysis Linear formulae can be used to do predication analysis: Two-place predications: (a.-P.b)OR (b.<P.a)OR (a.P.b) One-place predications: (a:P)OR (P:a) (Brackets are used to delimit the whole predication,a single dot separates arguments from predicate in a two- place predication,and a colon separates argument from predicate in a one-place predication.Conventionally,a,b, c,etc.are used as variables for arguments,P Q,R,etc. are used as variables for predicates.)• Linear formulae can be used to do predication analysis: • Two-place predications: (a.→P. b) OR (b. ←P. a) OR (a. P. b) One-place predications: (a: P) OR (P: a) (Brackets are used to delimit the whole predication, a single dot separates arguments from predicate in a two- place predication, and a colon separates argument from predicate in a one-place predication. Conventionally, a, b, c, etc. are used as variables for arguments, P, Q, R, etc. are used as variables for predicates.) Predication Analysis