New posts in Semantic Matching

Definition of a general rule

Can I simplify an expression into form which uses my own definitions?