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

this log:forAll :rna , :op , :na , :name , :company , :year  . 

{ 	:company <http://xmlns.com/foaf/corp#op> :op;
	<http://xmlns.com/foaf/corp#source> :name;
	<http://xmlns.com/foaf/corp#na> :na ; 
	<http://xmlns.com/foaf/corp#year> :year . 
	:op log:notEqualTo "" . 
	:na log:notEqualTo "" . 
	([is math:quotient of (:op :na)] "100") math:product :rna 
} 
	log:implies 
{ 

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