Simple Python Program With Logical Framework