develop.efeChallenge: now parses sentence to FOLtheory-instance +
yet to be done is efeDocument