## Distributed under both the W3C Test Suite License[1] and the W3C Software and Document License[2]. ## ## 1. http://www.w3.org/Consortium/Legal/2008/04-testsuite-license ## 2. https://www.w3.org/Consortium/Legal/copyright-software @prefix rdfs: . @prefix rdft: . @prefix mf: . @prefix test: . @prefix : <#>. <> a mf:Manifest ; rdfs:label "N3 Parser tests" ; mf:entries ( :cwm_andy_D-ref.n3 :cwm_andy_D.n3 :cwm_i18n_hiragana.n3 :cwm_i18n_i18n.n3 :cwm_i18n_n3string.n3 :cwm_i18n_umlaut.n3 :cwm_includes_bnode-conclude-ref.n3 :cwm_includes_bnodeConclude.n3 :cwm_includes_builtins.n3 :cwm_includes_concat-ref.n3 :cwm_includes_concat.n3 :cwm_includes_conclusion-simple.n3 :cwm_includes_conclusion.n3 :cwm_includes_conjunction-ref.n3 :cwm_includes_conjunction.n3 :cwm_includes_foo.n3 :cwm_includes_genBnodeInNestedFormula.n3 :cwm_includes_list-in-ref.n3 :cwm_includes_list-in.n3 :cwm_includes_n3ExprFor.n3 :cwm_includes_quant-implies.n3 :cwm_includes_quantifiers.n3 # Uses explicit quantifiers :cwm_includes_quantifiers_limited.n3 # Uses explicit quantifiers :cwm_includes_t1.n3 :cwm_includes_t10.n3 :cwm_includes_t10a.n3 :cwm_includes_t11.n3 :cwm_includes_t2.n3 :cwm_includes_t3.n3 :cwm_includes_t4.n3 :cwm_includes_t6.n3 :cwm_includes_t8.n3 :cwm_includes_t9br.n3 :cwm_includes_uri-object-invalid.n3 :cwm_includes_uri-startswith.n3 :cwm_includes_xsd.n3 :cwm_list_append-ref.n3 :cwm_list_append.n3 :cwm_list_bnode_in_list_in_list.n3 :cwm_list_builtin_generated_match-ref.n3 :cwm_list_builtin_generated_match.n3 :cwm_list_construct.n3 :cwm_list_double.n3 :cwm_list_last.n3 :cwm_list_list-bug1-ref.n3 :cwm_list_list-bug1.n3 :cwm_list_list-bug2-ref.n3 :cwm_list_list-bug2.n3 :cwm_list_r1-ref.n3 :cwm_list_r1.n3 :cwm_list_unify1.n3 :cwm_list_unify2-ref.n3 :cwm_list_unify2.n3 :cwm_list_unify3-ref.n3 :cwm_list_unify3.n3 :cwm_list_unify4-ref.n3 :cwm_list_unify4.n3 :cwm_list_unify5-ref.n3 :cwm_list_unify5.n3 :cwm_math_long.n3 :cwm_math_math-test.n3 :cwm_math_quotient_string.n3 :cwm_math_trigo-test.n3 :cwm_math_trigo.ref.n3 :cwm_norm_av-ref.n3 :cwm_norm_av.n3 :cwm_os_argv.n3 :cwm_os_environ.n3 :cwm_other_anon-prop.n3 :cwm_other_anonymous_loop.n3 :cwm_other_classes.n3 # Uses explicit quantifiers :cwm_other_contexts.n3 :cwm_other_daml-ex.n3 :cwm_other_daml-ont.n3 :cwm_other_daml-pref.n3 :cwm_other_dec-div.n3 :cwm_other_equiv-syntax.n3 :cwm_other_filter-bnodes.n3 :cwm_other_forgetDups.n3 :cwm_other_invalid-ex.n3 :cwm_other_kb1.n3 :cwm_other_lists-simple.n3 :cwm_other_lists.n3 :cwm_other_log-filter.n3 :cwm_other_rdfcore-tests.n3 :cwm_other_reflexive-ref.n3 :cwm_other_reflexive.n3 :cwm_other_regression.n3 :cwm_other_reluri-1.n3 :cwm_other_resolves-rdf.n3 :cwm_other_rules12.n3 :cwm_other_rules13.n3 :cwm_other_sameDan.n3 :cwm_other_sameThing.n3 :cwm_other_schema-filter.n3 :cwm_other_schema-rules.n3 :cwm_other_smush-query.n3 :cwm_other_smush-schema.n3 :cwm_other_strquot.n3 :cwm_other_t00-ref.n3 :cwm_other_t00.n3 :cwm_other_t01-ref.n3 :cwm_other_t01.n3 :cwm_other_testmeta.n3 :cwm_other_trivial-filter.n3 :cwm_other_two-route.n3 :cwm_other_underbarscope.n3 # Uses explicit quantifiers :cwm_other_vblsNotURIs.n3 :cwm_reason_danc.n3 :cwm_reason_double-ref.n3 :cwm_reason_double.n3 :cwm_reason_f9.n3 :cwm_reason_poor-urop.n3 :cwm_reason_rename-loop.n3 :cwm_reason_single_gen.n3 :cwm_reason_socrates-ref.n3 :cwm_reason_socrates.n3 :cwm_reason_t1-ref.n3 :cwm_reason_t1.n3 :cwm_reason_t2-ref.n3 :cwm_reason_t2.n3 :cwm_reason_t3-ref.n3 :cwm_reason_t3.n3 :cwm_reason_t4-ref.n3 :cwm_reason_t4.n3 :cwm_reason_t5-ref.n3 :cwm_reason_t5.n3 :cwm_reason_t6-ref.n3 :cwm_reason_t6.n3 :cwm_reason_t8-ref.n3 :cwm_reason_t8.n3 :cwm_reason_t9-ref.n3 :cwm_reason_t9.n3 :cwm_reason_timbl.n3 :cwm_string_endsWith-out.n3 :cwm_string_endsWith.n3 :cwm_string_roughly-out.n3 :cwm_string_roughly.n3 :cwm_string_uriEncode-out.n3 :cwm_string_uriEncode.n3 :cwm_supports_simple-ref.n3 :cwm_supports_simple.n3 :cwm_syntax_a1.n3 :cwm_syntax_bad-preds-formula.n3 :cwm_syntax_bad-preds-literal.n3 :cwm_syntax_bad-preds.n3 :cwm_syntax_base-ref.n3 :cwm_syntax_base.n3 :cwm_syntax_BnodeAcrossFormulae.n3 :cwm_syntax_boolean-ref.n3 :cwm_syntax_boolean.n3 :cwm_syntax_colon-no-qname.n3 :cwm_syntax_decimal-ref.n3 :cwm_syntax_decimal.n3 :cwm_syntax_djb1.n3 :cwm_syntax_djb1a.n3 :cwm_syntax_dot-dash.n3 :cwm_syntax_embedded-dot-in-qname.n3 :cwm_syntax_equals1.n3 :cwm_syntax_equals2.n3 :cwm_syntax_formula-simple-1.n3 :cwm_syntax_formula-subject.n3 :cwm_syntax_formula_bnode.n3 :cwm_syntax_graph-as-object.n3 :cwm_syntax_keywords1.n3 # Uses explicit quantifiers :cwm_syntax_keywords2.n3 # Uses explicit quantifiers :cwm_syntax_lstring.n3 :cwm_syntax_neg-keywords3.n3 :cwm_syntax_neg-literal-predicate.n3 :cwm_syntax_neg-single-quote.n3 :cwm_syntax_neg-thisadoc.n3 :cwm_syntax_nested.n3 :cwm_syntax_no-last-nl.n3 :cwm_syntax_numbers.n3 :cwm_syntax_one-bnode.n3 :cwm_syntax_path1.n3 :cwm_syntax_path2.n3 :cwm_syntax_qname-as-prefix-in-decl.n3 :cwm_syntax_qual-after-user.n3 :cwm_syntax_qvars1.n3 :cwm_syntax_qvars2.n3 :cwm_syntax_qvars3.n3 # Uses explicit quantifiers :cwm_syntax_qvars4.n3 # Uses explicit quantifiers :cwm_syntax_sep-term.n3 :cwm_syntax_sib.n3 :cwm_syntax_space-in-uri-ref.n3 :cwm_syntax_space-in-uri.n3 :cwm_syntax_newline-in-uri.n3 :cwm_syntax_this-quantifiers-ref.n3 # Uses explicit quantifiers :cwm_syntax_this-quantifiers-ref2.n3 :cwm_syntax_this-quantifiers.n3 # Uses explicit quantifiers :cwm_syntax_this-rules-ref.n3 # Uses explicit quantifiers :cwm_syntax_this-rules-ref2.n3 :cwm_syntax_this-rules.n3 :cwm_syntax_too-nested.n3 :cwm_syntax_trailing-dot-in-qname.n3 :cwm_syntax_trailing-semicolon-ref.nt :cwm_syntax_trailing-semicolon.n3 :cwm_syntax_zero-length-lname.n3 :cwm_syntax_zero-objects.n3 :cwm_syntax_zero-predicates.n3 :cwm_time_t1.n3 :cwm_unify_reflexive-ref.n3 :cwm_unify_reflexive.n3 :cwm_unify_unify1-ref.n3 :cwm_unify_unify1.n3 :cwm_unify_unify2-ref.n3 :cwm_unify_unify2.n3 # Uses explicit quantifiers :extra_bad_inverted_resources.n3 :extra_bad_prefix.n3 :extra_bad_prefix2.n3 :extra_good_prefix.n3 :manifest-parser.ttl :new_syntax_caret_neg.n3 :new_syntax_caret_pos.n3 :new_syntax_inverted_properties.n3 :new_syntax_iriPropertyList_not_embedded.n3 :new_syntax_iriPropertyList_with_whitespace.n3 :new_syntax_iriPropertyList_with_newline.n3 :new_syntax_iriPropertyList_single_object.n3 :new_syntax_iriPropertyList_nested_resources.n3 :new_syntax_iriPropertyList_illegal_semicolon.n3 :new_syntax_iriPropertyList_illegal_subject_list.n3 :new_syntax_iriPropertyList_illegal_bnode_subject.n3 ) . :cwm_andy_D-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "D-ref" . :cwm_andy_D.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "D" . :cwm_i18n_hiragana.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "hiragana.n3" ; rdfs:comment "N3 string, qname and IRI with utf-8 non-ascii characters"; rdft:approval rdft:Approved . :cwm_i18n_i18n.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "i18n" . :cwm_i18n_n3string.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "n3string" . :cwm_i18n_umlaut.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "umlaut" . :cwm_includes_bnode-conclude-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bnode-conclude-ref" . :cwm_includes_bnodeConclude.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bnodeConclude" . :cwm_includes_builtins.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "builtins" . :cwm_includes_concat-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "concat-ref" . :cwm_includes_concat.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "concat" . :cwm_includes_conclusion-simple.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "conclusion-simple" . :cwm_includes_conclusion.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "conclusion" . :cwm_includes_conjunction-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "conjunction-ref" . :cwm_includes_conjunction.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "conjunction" . :cwm_includes_foo.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "foo" . :cwm_includes_genBnodeInNestedFormula.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "genBnodeInNestedFormula" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_includes_list-in-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-in-ref" . :cwm_includes_list-in.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-in" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_includes_n3ExprFor.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "n3ExprFor" . :cwm_includes_quant-implies.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "quant-implies" . :cwm_includes_quantifiers.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "quantifiers" ; rdft:approval rdft:Rejected . :cwm_includes_quantifiers_limited.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "quantifiers_limited" ; rdft:approval rdft:Rejected . :cwm_includes_t1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t1" . :cwm_includes_t10.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t10" . :cwm_includes_t10a.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t10a" . :cwm_includes_t11.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t11" . :cwm_includes_t2.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t2" . :cwm_includes_t3.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t3" . :cwm_includes_t4.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t4" . :cwm_includes_t6.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t6" . :cwm_includes_t8.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t8" . :cwm_includes_t9br.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t9br" . :cwm_includes_uri-object-invalid.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "uri-object-invalid" . :cwm_includes_uri-startswith.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "uri-startswith" . :cwm_includes_xsd.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "xsd" . :cwm_list_append-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "append-ref" . :cwm_list_append.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "append" . :cwm_list_bnode_in_list_in_list.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bnode_in_list_in_list" . :cwm_list_builtin_generated_match-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "builtin_generated_match-ref" . :cwm_list_builtin_generated_match.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "builtin_generated_match" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_list_construct.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "construct" . :cwm_list_double.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "double" . :cwm_list_last.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "last" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_list_list-bug1-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-bug1-ref" . :cwm_list_list-bug1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-bug1" . :cwm_list_list-bug2-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-bug2-ref" . :cwm_list_list-bug2.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "list-bug2" . :cwm_list_r1-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "r1-ref" . :cwm_list_r1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "r1" . :cwm_list_unify1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify1" . :cwm_list_unify2-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify2-ref" . :cwm_list_unify2.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify2" . :cwm_list_unify3-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify3-ref" . :cwm_list_unify3.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify3" . :cwm_list_unify4-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify4-ref" . :cwm_list_unify4.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify4" . :cwm_list_unify5-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify5-ref" . :cwm_list_unify5.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify5" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_math_long.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "long" . :cwm_math_math-test.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "math-test" . :cwm_math_quotient_string.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "quotient_string" . :cwm_math_trigo-test.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "trigo-test" ; rdfs:comment "does not declare all referenced prefixes" . :cwm_math_trigo.ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "trigo.ref" . :cwm_norm_av-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "av-ref" . :cwm_norm_av.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "av" . :cwm_os_argv.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "argv" . :cwm_os_environ.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "environ" . :cwm_other_anon-prop.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "anon-prop.n3" ; rdfs:comment "Parse and regen anonymous property"; rdft:approval rdft:Approved . :cwm_other_anonymous_loop.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "anonymous_loop" . :cwm_other_classes.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "classes" ; rdft:approval rdft:Rejected . :cwm_other_contexts.n3 a test:TestN3PositiveSyntax ; mf:action ; #mf:result ; mf:name "contexts.n3" ; rdfs:comment "Parse and generate simple contexts (this looks like a reasoning test)"; rdft:approval rdft:Approved . :cwm_other_daml-ex.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "daml-ex" . :cwm_other_daml-ont.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "daml-ont" . :cwm_other_daml-pref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "daml-pref" . :cwm_other_dec-div.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "dec-div" . :cwm_other_equiv-syntax.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "equiv-syntax" . :cwm_other_filter-bnodes.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "filter-bnodes" . :cwm_other_forgetDups.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "forgetDups" . :cwm_other_invalid-ex.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "invalid-ex" . :cwm_other_kb1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "kb1" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_other_lists-simple.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "lists-simple" . :cwm_other_lists.n3 a test:TestN3PositiveSyntax ; mf:action ; #mf:result ; mf:name "lists.n3" ; rdfs:comment "parsing and generation of N3 list syntax (seems to be reasoning)"; rdft:approval rdft:Approved . :cwm_other_log-filter.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "log-filter" . :cwm_other_rdfcore-tests.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "rdfcore-tests" . :cwm_other_reflexive-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "reflexive-ref" . :cwm_other_reflexive.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "reflexive" . :cwm_other_regression.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "regression" . :cwm_other_reluri-1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "reluri-1" . :cwm_other_resolves-rdf.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "resolves-rdf" . :cwm_other_rules12.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "rules12" . :cwm_other_rules13.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "rules13" . :cwm_other_sameDan.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "sameDan" . :cwm_other_sameThing.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "sameThing" . :cwm_other_schema-filter.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "schema-filter" . :cwm_other_schema-rules.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "schema-rules" . :cwm_other_smush-query.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "smush-query" . :cwm_other_smush-schema.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "smush-schema" . :cwm_other_strquot.n3 a test:TestN3NegativeSyntax ; mf:action ; #mf:result ; mf:name "strquot.n3" ; rdfs:comment "N3 string quoting with escaping (new grammar is more restrictive re allowed escapes)" . :cwm_other_t00-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t00-ref" . :cwm_other_t00.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t00" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_other_t01-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t01-ref" . :cwm_other_t01.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t01" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_other_testmeta.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "testmeta" . :cwm_other_trivial-filter.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "trivial-filter" . :cwm_other_two-route.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "two-route" . :cwm_other_underbarscope.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "underbarscope" ; rdft:approval rdft:Rejected . :cwm_other_vblsNotURIs.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "vblsNotURIs" . :cwm_reason_danc.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "danc" . :cwm_reason_double-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "double-ref" . :cwm_reason_double.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "double" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_reason_f9.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "f9" . :cwm_reason_poor-urop.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "poor-urop" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_reason_rename-loop.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "rename-loop" . :cwm_reason_single_gen.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "single_gen" . :cwm_reason_socrates-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "socrates-ref" . :cwm_reason_socrates.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "socrates" . :cwm_reason_t1-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t1-ref" . :cwm_reason_t1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t1" . :cwm_reason_t2-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t2-ref" . :cwm_reason_t2.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t2" . :cwm_reason_t3-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t3-ref" . :cwm_reason_t3.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t3" . :cwm_reason_t4-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t4-ref" . :cwm_reason_t4.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t4" . :cwm_reason_t5-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t5-ref" . :cwm_reason_t5.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t5" . :cwm_reason_t6-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t6-ref" . :cwm_reason_t6.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t6" . :cwm_reason_t8-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t8-ref" . :cwm_reason_t8.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t8" . :cwm_reason_t9-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t9-ref" . :cwm_reason_t9.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t9" . :cwm_reason_timbl.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "timbl" . :cwm_string_endsWith-out.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "endsWith-out" . :cwm_string_endsWith.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "endsWith" . :cwm_string_roughly-out.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "roughly-out" . :cwm_string_roughly.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "roughly" . :cwm_string_uriEncode-out.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "uriEncode-out" . :cwm_string_uriEncode.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "uriEncode" . :cwm_supports_simple-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "simple-ref" . :cwm_supports_simple.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "simple" . :cwm_syntax_BnodeAcrossFormulae.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "BnodeAcrossFormulae" . :cwm_syntax_a1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "a1" . :cwm_syntax_bad-preds-formula.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bad-preds-formula" . :cwm_syntax_bad-preds-literal.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bad-preds-literal" . :cwm_syntax_bad-preds.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "bad-preds" . :cwm_syntax_base-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "base-ref" . :cwm_syntax_base.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "base" . :cwm_syntax_boolean-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "boolean-ref" . :cwm_syntax_boolean.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "boolean" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_syntax_colon-no-qname.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "colon-no-qname" . :cwm_syntax_decimal-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "decimal-ref" . :cwm_syntax_decimal.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "decimal" . :cwm_syntax_djb1.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "djb1" . :empty_graph_eval a test:TestN3Eval ; mf:action ; mf:result ; mf:name "Empty Graph Eval"; rdfs:comment "Empty Graph should be parsed as the the literal true"; rdft:approval rdft:Approved . :empty_graph_implies_eval a test:TestN3Eval ; mf:action ; mf:result ; mf:name "Empty Graph Implies Eval"; rdfs:comment "Empty Graph should be parsed as the the literal true when in global scope and when in a premise"; rdft:approval rdft:Approved . :isImpliedBy a test:TestN3Eval ; mf:action ; mf:result ; mf:name "isImpliedBy Eval"; rdfs:comment "<= should be parsed as log:isImpliedBy"; rdft:approval rdft:Approved . :isImpliedBy_graphs a test:TestN3Eval ; mf:action ; mf:result ; mf:name "isImpliedBy Eval"; rdfs:comment "<= should be parsed as log:isImpliedBy with N3 graphs as subject and object"; rdft:approval rdft:Approved . :isImpliedBy_bcRule a test:TestN3Eval ; mf:action ; mf:result ; mf:name "isImpliedBy Eval"; rdfs:comment "<= should be parsed as log:isImpliedBy in a bcRule"; rdft:approval rdft:Approved . :cwm_syntax_djb1a.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "djb1a.n3"; rdfs:comment "djb noticed a:b was parsed as rdf:type token"; rdft:approval rdft:Approved . :cwm_syntax_dot-dash.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "dot-dash" ; rdfs:comment "combinations of - and _ in identifiers"; rdft:approval rdft:Approved . :cwm_syntax_embedded-dot-in-qname.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "embedded-dot-in-qname" . :cwm_syntax_equals1.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "equals1.n3" ; rdfs:comment "The = keyword"; rdft:approval rdft:Approved . :cwm_syntax_equals2.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "equals2.n3" ; rdfs:comment "The = keyword"; rdft:approval rdft:Approved . :cwm_syntax_formula-simple-1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "formula-simple-1" . :cwm_syntax_formula-subject.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "formula-subject" . :cwm_syntax_formula_bnode.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "formula_bnode" . :cwm_syntax_graph-as-object.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "graph-as-object" . :cwm_syntax_keywords1.n3 a test:TestN3NegativeSyntax ; mf:action ; #mf:result ; rdfs:comment "@keywords in n3 (removing reliance on @keywords breaks test)"; rdft:approval rdft:Rejected . :cwm_syntax_keywords2.n3 a test:TestN3NegativeSyntax ; mf:action ; #mf:result ; mf:name "keywords2" ; rdfs:comment "using no keywords in n3 (removing reliance on @keywords breaks test)" ; rdft:approval rdft:Rejected . :cwm_syntax_lstring.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "lstring.n3" ; rdfs:comment "N3 string nested triple quoting"; rdft:approval rdft:Approved . :cwm_syntax_neg-formula-predicate.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "neg-formula-predicate.n3" ; rdfs:comment "A predicate cannot be a formula, I hope ; yes it can!"; rdft:approval rdft:Approved . :cwm_syntax_neg-keywords3.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "neg-keywords3.n3" ; rdfs:comment "@keywords is not a valid predicate"; rdft:approval rdft:Approved . :cwm_syntax_neg-literal-predicate.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "neg-literal-predicate.n3" ; rdfs:comment "A predicate cannot be a literal, I hope ; yes it can!"; rdft:approval rdft:Approved . :cwm_syntax_neg-single-quote.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "neg-single-quote" ; rdfs:comment "single quoted strings are legal"; rdft:approval rdft:Approved . :cwm_syntax_neg-thisadoc.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "neg-thisadoc.n3" ; rdfs:comment "'this' keyword is deprecated - negative test" . :cwm_syntax_nested.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "nested" . :cwm_syntax_no-last-nl.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "no-last-nl" ; rdfs:comment "An N3 file with no final newline character"; rdft:approval rdft:Approved . :cwm_syntax_numbers.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "numbers.n3" ; rdfs:comment "Number syntax"; rdft:approval rdft:Approved . :cwm_syntax_one-bnode.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "one-bnode" . :cwm_syntax_path1.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "path1.n3" ; rdfs:comment "Path syntax, simple"; rdft:approval rdft:Approved . :cwm_syntax_path2.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "path2.n3" ; rdfs:comment "Path syntax, more"; rdft:approval rdft:Approved . :cwm_syntax_qname-as-prefix-in-decl.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "qname-as-prefix-in-decl" . :cwm_syntax_qual-after-user.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "qual-after-user" . :cwm_syntax_qvars1.n3 a test:TestN3PositiveSyntax ; mf:action ; #mf:result ; mf:name "qvars1.n3" ; rdfs:comment "Quick variable syntax, simple"; rdft:approval rdft:Approved . :cwm_syntax_qvars2.n3 a test:TestN3PositiveSyntax ; mf:action ; #mf:result ; mf:name "qvars2.n3" ; rdfs:comment "Quick variable syntax, more"; rdft:approval rdft:Approved . :cwm_syntax_qvars3.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "qvars3" ; rdft:approval rdft:Rejected . :cwm_syntax_qvars4.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "qvars4" ; rdfs:comment "using quick-var syntax within @forAll, @forSome" ; rdft:approval rdft:Rejected . :cwm_syntax_sep-term.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "sep-term" . :cwm_syntax_sib.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "sib" . :cwm_syntax_space-in-uri-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "space-in-uri-ref" . :cwm_syntax_space-in-uri.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "space-in-uri" . :cwm_syntax_newline-in-uri.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "newline-in-uri" . :cwm_syntax_this-quantifiers-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "this-quantifiers-ref" ; rdft:approval rdft:Rejected . :cwm_syntax_this-quantifiers-ref2.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "this-quantifiers-ref2" ; rdfs:comment "'this' keyword is deprecated" ; rdft:approval rdft:Rejected . :cwm_syntax_this-quantifiers.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "this-quantifiers" ; rdfs:comment "'this' keyword is deprecated" ; rdft:approval rdft:Rejected . :cwm_syntax_this-rules-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "this-rules-ref" ; rdft:approval rdft:Rejected . :cwm_syntax_this-rules-ref2.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "this-rules-ref2" ; rdfs:comment "'this' keyword is deprecated" ; rdft:approval rdft:Rejected . :cwm_syntax_this-rules.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "this-rules" ; rdfs:comment "'this' keyword is deprecated" ; rdft:approval rdft:Rejected . :cwm_syntax_too-nested.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "too-nested.n3" ; rdfs:comment "unclear whether this should be a test - succeeding or failing doesn't prove much" ; rdft:approval rdft:Proposed . :cwm_syntax_trailing-dot-in-qname.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "trailing-dot-in-qname" . :cwm_syntax_trailing-semicolon-ref.nt a test:TestN3PositiveSyntax ; mf:action ; mf:name "trailing-semicolon-ref" . :cwm_syntax_trailing-semicolon.n3 a test:TestN3Eval ; mf:action ; mf:result ; mf:name "trailing-semicolon.n3" ; rdfs:comment "Propertylists can end in trailing semicolon. (edited to remove reliance on @keywords)" . :cwm_syntax_zero-length-lname.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "zero-length-lname" . :cwm_syntax_zero-objects.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "zero-objects.n3" ; rdfs:comment "A statement that says nothing at all"; rdft:approval rdft:Approved . :cwm_syntax_zero-predicates.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "zero-predicates" ; rdfs:comment "A statement that says nothing at all"; rdft:approval rdft:Approved . :cwm_time_t1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "t1" . :cwm_unify_reflexive-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "reflexive-ref" . :cwm_unify_reflexive.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "reflexive" . :cwm_unify_unify1-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify1-ref" . :cwm_unify_unify1.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify1" ; rdfs:comment "(edited to remove reliance on @keywords)" . :cwm_unify_unify2-ref.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify2-ref" . :cwm_unify_unify2.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "unify2" ; rdfs:comment "(edited to remove reliance on @keywords)" ; rdft:approval rdft:Rejected . :extra_bad_inverted_resources.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "inverted_resources" ; rdfs:comment "inverted resources (at the start of a path) should not be allowed" . :extra_bad_prefix.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "bad_prefix" ; rdfs:comment "prefixes used in prefixed-names should be declared" ; rdft:approval rdft:Approved . :extra_bad_prefix2.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "bad_prefix2" ; rdfs:comment "prefix declarations should not redefine prior declarations" ; rdft:approval rdft:Rejected . :extra_good_prefix.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "good_prefix" ; rdft:approval rdft:Approved . :manifest-parser.ttl a test:TestN3PositiveSyntax ; mf:action ; mf:name "manifest-parser" . :new_syntax_caret_neg.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "caret_neg" . :new_syntax_caret_pos.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "caret_pos" . :new_syntax_inverted_properties.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:name "inverted_properties" . :new_syntax_iriPropertyList_not_embedded.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:result ; mf:name "not_embedded.n3"; rdfs:comment "bare iriPropertyList" . :new_syntax_iriPropertyList_with_whitespace.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:result ; mf:name "with_whitespace.n3"; rdfs:comment "iriPropertyList with whitespace" . :new_syntax_iriPropertyList_with_newline.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:result ; mf:name "with_newline.n3"; rdfs:comment "iriPropertyList with newline" . :new_syntax_iriPropertyList_single_object.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:result ; mf:name "single_object.n3"; rdfs:comment "iriPropertyList single object" . :new_syntax_iriPropertyList_nested_resources.n3 a test:TestN3PositiveSyntax ; mf:action ; mf:result ; mf:name "nested_resources.n3"; rdfs:comment "iriPropertyList nested resources" . :new_syntax_iriPropertyList_illegal_semicolon.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "iriPropertyList illegal semicolon" . :new_syntax_iriPropertyList_illegal_subject_list.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "iriPropertyList illegal subject list" . :new_syntax_iriPropertyList_illegal_bnode_subject.n3 a test:TestN3NegativeSyntax ; mf:action ; mf:name "iriPropertyList illegal bnode subject" .