Prepositions have been treated as a PredicateNode so far... But for the common verb phrases, Link Parser is able to recognize them as one verb, using K link... http://www.abisource.com/projects/link-grammar/dict/section-K.html   So RelEx2Logic can handle "work_in" as a PredicateNode as the "Desired output" ;-)