parse_implication function

Parses a string into an implication