sub:assertion {
sub:paragraph c4o:hasContent "Definition 3. (Verify Stage). Given a set T of RDF triples and mappings φ̇(T ), the Verify stage consists on crowdsourcing mappings as follows φ̈ : φ̇(T ) → φ̇(T ). The input of the Verify stage is represented as, V i = (T , φ̇(T )) which corresponds to the output of the Find stage (V i = F o ), and the output of the Verify stage is represented as V o = (T , φ̈(T ))." ;
a doco:Paragraph .
}