Application: RDF Layering

Let's use quotation to extend RDF to first-order logic.