# subject verb object #============= ========== ============== { ?x :son ?y } => { ?y a :Male }. { ?x :son ?y } log:implies { ?y a :Male }.
The terms in braces { } are formulas.
The rule statement relates two formulas.
http://www.w3.org/2000/10/swap/doc/
11 of 32