svn commit: r1231966 - /incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext

[anuzzolese]

Author: anuzzolese
Date: Mon Jan 16 12:06:06 2012
New Revision: 1231966

URL: http://svn.apache.org/viewvc?rev=1231966&view=rev
Log:
[STANBOL-453] Typo fix in Rules.

Modified:
    incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext

Modified: incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext
URL: 
http://svn.apache.org/viewvc/incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext?rev=1231966&r1=1231965&r2=1231966&view=diff
==============================================================================
--- incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext 
(original)
+++ incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext Mon 
Jan 16 12:06:06 2012
@@ -22,7 +22,7 @@ __if__ X is a person __then__ X has a fa
 and by means of predicate calculus as:
 
 <center>
-&forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y)
+&forall;x&exist;y.Person(x) &rArr; hasFather(x, y)
 </center>
 
 where Person and hasF ather are two predicates.