| A simple example to show how the predefined sentences work in the IBL in this-year this-item is priced at this-price =============================================== 2002 University Oxfords 82 2002 Brown Bear Casuals 45 2002 Handsewn Moccasins 39 in some-year some-item is priced at some-price in position some-pos of that-item there is an item some-word ---------------------------------------------------------------------------------------------- demonstrate finding: in the phrase describing that-item position that-pos has a word that-word in a-year some-item1 is priced at a-price1 in that-year some-item2 is priced at a-price2 --------------------------------------------------------- that-price1 and that-price2 can be used for demonstration in a-year some-item1 is priced at a-price1 in that-year some-item2 is priced at a-price2 ----------------------------------------------------------------- a pair of item names for demonstration: that-item1 and that-item2 some-price1 and some-price2 can be used for demonstration that-price1 + that-price2 = a-sum that-price1 - that-price2 = a-diff that-price1 * that-price2 = a-product that-price1 / that-price2 = a-quotient ----------------------------------------------------------------------------------------------------- demonstrate arithmetic on that-price1 and that-price2 : that-sum that-diff that-product that-quotient some-price1 and some-price2 can be used for demonstration that-price1 divided by that-price2 = a-quotient remainder a-rem ----------------------------------------------------------------------------------------- demonstrate dividing with a remainder: that-price1 that-price2 that-quotient that-rem some-price1 and some-price2 can be used for demonstration that-price1 divided by 10 = a-number1 remainder a-rem1 that-price2 divided by 10 = a-number2 remainder a-rem2 that-number1 raised to the power that-number2 = some-result ---------------------------------------------------------------------- demonstrate raising to a power: that-number1 that-number2 that-result some-price1 and some-price2 can be used for demonstration that-price1 is equal that-price2 ----------------------------------------------------------------- a number compares to another number: that-price1 equal that-price2 some-price1 and some-price2 can be used for demonstration that-price1 is greater than that-price2 --------------------------------------------------------------------------------- a number compares to another number: that-price1 greater-than that-price2 some-price1 and some-price2 can be used for demonstration that-price1 is greater than or equal that-price2 --------------------------------------------------------------------------------- a number compares to another number: that-price1 greater-than-or-equal that-price2 some-price1 and some-price2 can be used for demonstration that-price1 is less than that-price2 --------------------------------------------------------------------------------- a number compares to another number: that-price1 less-than that-price2 some-price1 and some-price2 can be used for demonstration that-price1 is less than or equal that-price2 --------------------------------------------------------------------------------- a number compares to another number: that-price1 less-than-or-equal that-price2 a number compares to another number: some-price1 some-relation some-price2 ================================================================================= a pair of item names for demonstration: some-item1 and some-item2 that-item1 is equal that-item2 ----------------------------------------------------------------- an item compares to another item: that-item1 equal that-item2 a pair of item names for demonstration: some-item1 and some-item2 that-item1 is greater than that-item2 ------------------------------------------------------------------------ an item compares to another item: that-item1 greater-than that-item2 a pair of item names for demonstration: some-item1 and some-item2 that-item1 is greater than or equal that-item2 ------------------------------------------------------------------------------- an item compares to another item: that-item1 greater-than-or-equal that-item2 a pair of item names for demonstration: some-item1 and some-item2 that-item1 is less than that-item2 ------------------------------------------------------------------ an item compares to another item: that-item1 less-than that-item2 a pair of item names for demonstration: some-item1 and some-item2 that-item1 is less than or equal that-item2 ---------------------------------------------------------------------------- an item compares to another item: that-item1 less-than-or-equal that-item2 an item compares to another item: some-item1 some-relation some-item2 ======================================================================= the decimal this-number is to be rounded to these-figures place(s) ================================================================= 1.4666666666 0 1.4666666666 1 1.4666666666 2 1.4666666666 3 1.5000000001 0 1.5000000001 3 the decimal some-x is to be rounded to some-figures place(s) that-x rounded to those-figures place(s) after the decimal point is some-z ----------------------------------------------------------------------------------- demonstrate rounding the decimal that-x to those-figures place(s) resulting in that-z in some-year some-item is priced at some-price that-item followed by that-price = some-itemprice ----------------------------------------------------------------- demonstrate glueing that-item to that-price to get that-itemprice in some-year some-item is priced at some-price that-item followed by that-price separated by a symbol $ = some-item$price ------------------------------------------------------------------------------------------ demonstrate glueing that-item to that-price separated by a $ symbol to get that-item$price demonstrate glueing some-item to some-price to get some-itemprice some-part1 followed by some-part2 = that-itemprice -------------------------------------------------------------------- demonstrate splitting that-itemprice into that-part1 and that-part2 demonstrate splitting some-itemprice into some-string and some-suffix that-string consists of some-number symbols letters and digits ------------------------------------------------------------------------------------------ demonstrate finding the length of that-string to be that-number symbols letters and digits the current user is some-name with userid some-uid and with permission status some-perm ----------------------------------------------------------------------------------------------- demonstrate current user is the-name with userid that-uid and with permission status that-perm the present date is some-year some-month some-day and the time is some-hour some-minute some-second ----------------------------------------------------------------------------------------------------- demonstrate present date that-year that-month that-day and time that-hour that-minute that-second demonstrate glueing some-item to some-price to get some-itemprice some-pattern can be used to demonstrate matching, and similarity that-itemprice is a match to that-pattern ------------------------------------------------------------------ demonstrate finding that-itemprice that matches that-pattern demonstrate glueing some-item to some-price to get some-itemprice some-pattern can be used to demonstrate matching, and similarity that-itemprice is similar to that-pattern ------------------------------------------------------------------- demonstrate finding that-itemprice that approx-matches that-pattern demonstrate finding some-itemprice that some-kind-of-matches some-pattern ========================================================================= this-pattern can be used to demonstrate matching, and similarity ================================================================ ?UNIv* *Bear Casual? *bear*asua* ?niVE* *oxford? *SEWN*moc* *sewn*Moc* sqrt test table of data eg-x the square root of that-x = some-y eg-y raised to the power 2 = eg-z ---------------------------------------------------------------------------- demonstrate that the square root of that-x is that-y which squared is that-z sqrt test table of data eg-x ============================ 4 2 1.41421 exp and log test table of data eg-x eg-y eg-x raised to the power eg-y = eg-z the log to base eg-x of eg-z = eg-y1 ----------------------------------------------------------------- demonstrate eg-x ** eg-y = eg-z and log base eg-x of eg-z = eg-y1 | z = x ** y y = log( x,z ) exp and log test table of data eg-x eg-y ========================================== 10 2 3.14 2 2 3.14