26.
The adjective "first-order" distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.

27.
Programming a robot by physically moving it through the trajectory you want it to follow is called _____________