/* -*- Prolog -*-
 * @@(#)$Id: fertilization_strong,v 1.1 1996/12/11 15:09:21 img Exp $
 *
 * $Log: fertilization_strong,v $
 * Revision 1.1  1996/12/11 15:09:21  img
 * Merge of mthd and smthd libraries.
 *
 * Revision 1.2  1996/12/04  13:14:51  img
 * Use inductive_hypothesis.
 *
 * Revision 1.1  1994/09/16  09:34:27  dream
 * Initial revision
 */

method(fertilization_strong(Hyp),
       H==>G,
       [matrix(_,Matrix,G),
        inductive_hypothesis(Status,Hyp:Hypothesis,H),
        instantiate(Hypothesis,Matrix,_) ],
       [],
       [],
       fertilization_strong(Hyp)
      ).
