moved reading of definiteClause over to the definiteClause object's
constructor because it had nothing to do with the WFM object itself!