<?xml version="1.0" encoding="UTF-8"?>
<fopl:assertions xmlns:fopl="http:www.cogsci.ed.ac.uk/~kari/firstOrderPredicateLogic" xmlns:map="http://www.cogsci.ed.ac.uk/~kari/schema-mapping" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:psv="http://www.w3.org/2001/05/PSVInfosetExtension" xmlns:i="http://www.w3.org/2001/05/XMLInfoset" xmlns:xsd="http://www.w3.org/2001/XMLSchema"/>