Detailed Instructions: Generate a correct and concise answer for the question based on the words in the context.
Problem:Context : Lojban has been shown to be translated in some of its parts into predicate logic.
Question : The Lojban is based upon what?
Solution:
predicate logic