Logical Framework Analysis