overview of predicate logic 1015655