added proper fact definition type