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

this log:forAll :spe , :sr , :noe , :company , :name , :year . 

{ 	:company <http://xmlns.com/foaf/corp#sr> :sr;
	<http://xmlns.com/foaf/corp#source> :name;
	<http://xmlns.com/foaf/corp#year> :year;
	<http://xmlns.com/foaf/corp#spe> :spe . 
	:sr log:notEqualTo "" . 
	:spe log:notEqualTo "" . 
        ([is math:quotient of (:sr :spe)] "1000000") math:product :noe

} 
	log:implies 
{ 

 	:company <http://xmlns.com/foaf/corp#noe> :noe;
	<http://xmlns.com/foaf/corp#source> :name ;
	<http://xmlns.com/foaf/corp#year> :year  .
} .