Dimensional Fact Model Extension via Predicate Calculus