RDFS rules 1-10