More Complex Antecedent


{ ?x :son ?y.
  ?y.:age math:lessThan 15. }
 =>
{ ?y a :Boy. }