# implicit quantification
# examples from the following paper:
#	D. Arndt, R. Verborgh, J. De Roo, H. Sun, E. Mannens, R. Van de Walle.
#	Semantics of Notation3 Logic: A solution for implicit quantification.
#	To be published in 2015 in Proceedings of the 9th International Web Rule Symposium.


@prefix : <http://example.org/test#>.

# ?x :loves _:y
# {?x :loves _:y} <= true.
true => {?x :loves _:y}.

_:x :says {_:x :knows :Albert}.

{_:x :knows :Albert.}=> {_:x :knows :Kurt.}.

{:e :p :a.} => {:e :q :b.}.
#{{?x :p :a.} => {?x :q :b.}.} => {{?x :r :c.} => {?x :s :d.}.}.

:s :p :o.
{?x :p :o.} => {?x :pp {?x :ppp :ooo.}.}.

#{?x :p :o.} => {{{?x :p2 ?y.} => {?x :p3 ?y.}.} => {{?x :p4 ?y.} => {?x :p5 ?y.}.}.}.
