پاورپوینت درباره طراحی میان‌افزار

مسندهای یکتایی

{x | Person(x)}, lx.Person(x){

مسندهای دوتایی

{x, y | hasChild(x, y)}

عبارات با سازنده‌ها

{x | Person(x) Ù $y.haschild(x, y) Ù Female(y)}