APPROVED Jeremy J. Carroll rdf:first is a FunctionalProperty.