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

this log:forAll :ic , :op , :i , :name , :company, :year  . 

{ 	:company <http://xmlns.com/foaf/corp#ic> :ic;
	<http://xmlns.com/foaf/corp#source> :name;
	<http://xmlns.com/foaf/corp#year> :year;
	<http://xmlns.com/foaf/corp#op> :op .
        :ic log:notEqualTo "" .
        :ic log:notEqualTo "0" .
        :op log:notEqualTo "" .
        :op log:notEqualTo "0" .
	(:op :ic) math:quotient :i 
} 
	log:implies 
{ 

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