@prefix d: <http://www.w3.org/2003/g/data-view#>.
@prefix : <figMultiTxform#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@keywords is, of, a.

<doc1.html> a Document;
  dest [
   a FunctionApplication;
   is dest of </2000/06/dc-extract/dc-extract.xsl>;
   result [ a Formula, Foreground ]
  ].

</2000/06/dc-extract/dc-extract.xsl> a Algorithm.