Resource Description Framework: Notes

@@ A challenge: extend and complete the following definition:

{ ?list rdf:type ont:UnambiguousPropConst . 
  ?list rdf:first ?first; rdf:rest ?rest } 
   => { ?list :member ?first; :contains ?rest } .
{ ?list :contains [ rdf:first ?first; rdf:rest ?rest ] }
   => { ?list :member ?first; :contains ?rest } .