# Generated with http://www.agfa.com/w3c/euler/#28.063 on Mon Dec 03 20:41:29 GMT+01:00 2001
# for query file:/euler/janet-test.n3
# given [file:/euler/janet.n3]

@prefix m: <file:/euler/janet.n3#>.
@prefix w3c: <http://www.w3.org/2000/10/org>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix q: <http://example.org/>.
@prefix : <http://void-prefix.example.org/>.
@prefix n: <http://example.org/base/>.

m:internal q:supports [ = [ = <#conformance>]; :includes
      <#products>; :includes <#content>; :includes
          <#services>].
[ =
  [ = <#support>]; :includes <#tools>; :includes
      <#tutorials>; :includes <#workshops>; :includes
          <#books_materails>; :includes <#certification>; q:supports
              [ = [ = <#conformance>]; :includes
                  <#products>; :includes <#content>; :includes
                      <#services>]]  .
m:QA :includes [ = [ = w3c:internal]; :includes
      m:TAB; :includes m:interoperability; :includes
          m:validation; :includes w3c:wai; :includes
              m:i18n; :includes m:translation; :includes
                  m:readability_elegance; :includes w3c:feedback_accountability].
m:QA :includes [ = [ = m:support]; :includes
      m:tools; :includes m:tutorials; :includes
          m:workshops; :includes m:books_materails; :includes
              m:certification].
m:QA :includes [ = [ = m:conformance]; :includes
      m:products; :includes m:services; :includes
          m:content].

# Proof found for file:/euler/janet-test.n3 in 8 steps (1448 steps/sec)