:- style_check(-discontiguous).
:- style_check(-singleton).
:- multifile(exopred/3).
:- multifile(implies/3).
:- multifile(pfx/2).
:- multifile(pred/1).
:- multifile(prfstep/8).
:- multifile(scope/1).
:- multifile(scount/1).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#mu>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#pi>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#sigma>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#biconditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#conditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#reflexive>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#relabel>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#tactic>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#transaction>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#implies>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#outputString>'/2).
:- multifile('<http://www.w3.org/2002/07/owl#sameAs>'/2).
flag('no-skolem', 'http://eulersharp.sourceforge.net/.well-known/genid/dn4DoA1q1auaLpuVLphzh9dQ9d4#').
scope('<http://eulersharp.sourceforge.net/2007/07test/simple.ttl>').
pfx((:),
								 '<http://example.org/try#>').
:- dynamic('<http://example.org/try#p1>'/2).
:- multifile('<http://example.org/try#p1>'/2).
:- dynamic('<http://example.org/try#p2>'/2).
:- multifile('<http://example.org/try#p2>'/2).
:- dynamic('<http://example.org/try#p3>'/2).
:- multifile('<http://example.org/try#p3>'/2).
:- dynamic('<http://example.org/try#p4>'/2).
:- multifile('<http://example.org/try#p4>'/2).
:- dynamic('<http://example.org/try#p5>'/2).
:- multifile('<http://example.org/try#p5>'/2).
:- dynamic('<http://example.org/try#p6>'/2).
:- multifile('<http://example.org/try#p6>'/2).
:- dynamic('<http://example.org/try#p7>'/2).
:- multifile('<http://example.org/try#p7>'/2).
:- dynamic('<http://example.org/try#p8>'/2).
:- multifile('<http://example.org/try#p8>'/2).
pred('<http://example.org/try#p1>').
'<http://example.org/try#p1>'('<http://example.org/try#s1>', '<http://example.org/try#o1>').
pred('<http://example.org/try#p2>').
'<http://example.org/try#p2>'('<http://example.org/try#s2>', literal('We', type('<http://www.w3.org/2001/XMLSchema#string>'))).
pred('<http://example.org/try#p3>').
'<http://example.org/try#p3>'('<http://example.org/try#s3>', literal(run, lang(en))).
pred('<http://example.org/try#p4>').
'<http://example.org/try#p4>'('<http://example.org/try#s4>', literal('LV', type('<http://example.org/try#dt>'))).
pred('<http://example.org/try#p5>').
'<http://example.org/try#p5>'('<http://example.org/try#s5>', 5).
pred('<http://example.org/try#p6>').
'<http://example.org/try#p6>'('<http://example.org/try#s6>', ['<http://example.org/try#a>', '<http://example.org/try#b>', '<http://example.org/try#c>']).
pred('<http://example.org/try#p7>').
'<http://example.org/try#p7>'('<http://example.org/try#s7>', '<http://eulersharp.sourceforge.net/.well-known/genid/dn4DoA1q1auaLpuVLphzh9dQ9d4#bn_1>').
pred('<http://example.org/try#p8>').
'<http://example.org/try#p8>'('<http://eulersharp.sourceforge.net/.well-known/genid/dn4DoA1q1auaLpuVLphzh9dQ9d4#bn_2>', '<http://example.org/try#o7>').
scount(8).
end_of_file.