@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .

this log:forAll :p , :z , :y , :x , :q  . 

{ 	:x <http://xmlns.com/foaf/corp#sr> :y;
	<http://xmlns.com/foaf/corp#source> :q;
	<http://xmlns.com/foaf/corp#spe> :z . 
	:y log:notEqualTo "" . :z
	log:notEqualTo "" . 
	:p math:quotientOf (:y :z) 
} 
	log:implies 
{ 

 	:x <http://xmlns.com/foaf/corp#noe> :p;
	<http://xmlns.com/foaf/corp#source> :q  .
} .