Logical Framework Matrix Example - Search