On the consistency, expressiveness, and precision of partial modeling formalisms