Python 3 Formal Logic Sentence Converter -- 2

Job ID: 37740312

Budget: ₹600 – ₹1,500 INR

I am in need of an expert who can construct Python 3 code that effectively translates English sentences into Formal Logic sentences, specifically First-Order Logic (FOL) and Second-Order Logic (SOL) formats.

The details of my requirements are as follows:

Requirements:
- Develop a Python 3 program
- Program should convert English sentences into Formal Logic (FOL and SOL)
- No specific conventions or rules need to be followed

Ideal Skills and Experience:
- Proficiency in Python 3 programming and Formal Logic expressions
- Experience in Natural Language Processing
- Strong knowledge in English Language sentence structures.

Your job will primarily be the creation of this Python 3 code, and testing it to ensure the correct translation of English sentences into FOL and SOL formats.
Related categories: Python Prolog NLP