% $Id: FamilyRulesTest.oz,v 1.1 2007/11/26 21:15:48 leavens Exp leavens $ \insert 'FamilyRules.oz' \insert 'SolveFirst.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' % What children are sons of what adults? {Test {SolveAll proc {$ Ans} Child#Adult=Ans in {Son Child Adult} end} '==' [john#pop robert#pop john#mom robert#mom]}