The second notion was derived from work in predicate calculus ( predicate logic , first order logic ) .
Is prominent in modern theories of syntax and grammar .
The second notion was derived from work in predicate calculus ( predicate logic , first order logic ) and is prominent in modern theories of syntax and grammar .