unicode_fol_kit.lambek_derivable¶ unicode_fol_kit.lambek_derivable(sequence, goal)[source]¶ Return True iff sequence ⊢ goal is derivable in L (a decision procedure). Parameters: sequence (Iterable[Node]) goal (Node) Return type: bool