(entailment-testcase   
 "annotations-nonsemantic-dl"
 :positive '(:dl)
 "Annotations are extralogical in dl, so annotations in the premise don't matter and any annotation is entailed"
 "Prefix (: = <http://example.org/>)
 Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
 Ontology(
  ObjectPropertyAssertion(:p1 :s1 :o1))"
 "Prefix (: = <http://example.org/>)
 Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
 Ontology(
  ObjectPropertyAssertion(Annotation(rdfs:comment \"peek-a-boo\") :p1 :s1 :o1))"
 )

(entailment-testcase   
 "annotations-semantic-full-1"
 :negative '(:full)
 "Annotations have semantics in full so annotations don't pop out of nowhere"
 "Prefix (: = <http://example.org/>)
 Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
 Ontology(
  ObjectPropertyAssertion(:p1 :s1 :o1))"
 "Prefix (: = <http://example.org/>)
 Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
 Ontology(
  ObjectPropertyAssertion(Annotation(rdfs:comment \"peek-a-boo\") :p1 :s1 :o1))"
 )

(entailment-testcase   
 "annotations-semantic-full-2"
 :positive '(:full)
 "Annotations have semantics in full so sameas cause annotations to follow along"
 "Prefix (: = <http://example.org/>)
 Ontology(
  AnnotationAssertion(:p1 :s1 :o1)
  SameIndividual(:s1 :s2)
)"
 "Prefix (: = <http://example.org/>)
 Ontology(
  AnnotationAssertion(:p1 :s2 :o1)
)"
 )