spv http://completeness.inf.unibz.it/sp-vocab#