Drag and drop the English translation on the right against the corresponding predicate calculus expression on the left. Let L$($x$,$ y$)$ be $"$x links to y$"$ and O$($x$,$ y$)$ be $"$x owns y$."$ The domain of the variables consists of all web pages.

Drag and drop application.

$$x$$y $(($O$($Bob$,$ x$)$ O$($Fareed$,$ y$))->$ L$($x$,$y$))$

$$x$$y$(($O$($Bob$,$x$)$O$($Fareed$,$y$))->$L$($x$,$y$))$ drop zone empty.

$$x$$y O$($Bob$,$ x$)->($O$($Fareed$,$ y$)$ L$($x$,$y$))$

$$x$$yO$($Bob$,$x$)->($O$($Fareed$,$y$)$L$($x$,$y$))$ drop zone empty.

$$y$$x $(($O$($Fareed$,$ y$)$ O$($Bob$,$ x$))->$ L$($x$,$ y$))$

$$y$$x$(($O$($Fareed$,$y$)$O$($Bob$,$x$))->$L$($x$,$y$))$ drop zone empty.

$$x$$y $($O$($Bob$,$ x$)$ O$($Fareed$,$ y$)$ L$($x$,$ y$))$

$$x$$y$($O$($Bob$,$x$)$O$($Fareed$,$y$)$L$($x$,$y$))$ drop zone empty.

$$x$$y O$($Bob$,$ x$)->($O$($Fareed$,$ y$)$ L$($x$,$ y$))$

$$x$$yO$($Bob$,$x$)->($O$($Fareed$,$y$)$L$($x$,$y$))$ drop zone empty.

There is a Web page owned by Bob that links to a Web page owned by Fareed.

All Bob's web pages link to all of Fareed's web pages.

There is a Web page not owned by Bob or there is a page owned by Fareed that has some page linking to it$.$

All Bob's Web pages link to some Web page owned by Fareed.

There is a Web page owned by Fareed that is linked to by all of Bob's Web pages.