(hak) 281> make run *** Running OsfV3 ********************************************************** *** *** *** This is HLT's OSF Prototype Version 3.0 - Welcome! *** *** *** ********************************************************** *** Interactive mode: type '%help.' for known pragmas. **1 OSF V3.0> %include "animals.osf". %encode. %sorts. %eval. *** Reading from file: animals.osf *** There are 26 sorts defined *** Performing transitive closure... *** Transitive closure processing time = 1 ms *** Performing consistency check of the taxonomy... *** Code consistency check processing time = 0 ms *** Committing all sorts... *** Sort commitment processing time = 0 ms *** The sort taxonomy has been encoded (26 sorts defined) *** Declared sorts: +++++++++++++++++++++++++++ [] *EVERYTHING* 25 -+------------------------- [] eagle 24 --+------------------------ [] falcon 23 ---+----------------------- [] ostrich 22 ----+---------------------- [] siamese 21 -----+--------------------- [] tabby 20 ------+-------------------- [] poodle 19 -------+------------------- [] labrador 18 --------+------------------ [] canary 17 ---------+----------------- [] tiger 16 ----------+---------------- [] lion 15 -----------+--------------- [] jackal 14 ------------+-------------- [] wolf 13 ----++-------+------------- [] cat 12 ------++------+------------ [] dog 11 ------++---++-++----------- [] canide 10 ----++---++--+--+---------- [] felide 9 -++--------------+--------- [] bird-of-prey 8 ----+++++----++---+-------- [] pet 7 -++-++++-+++++++++-+------- [] carnivore 6 -+++++++++++++++++++++----- [] animal 5 -+++----+--------+---+----- [] bird 4 ----------------------+---- [] boolean 3 -----------------------+--- [] string 2 ------------------------+-- [] float 1 -------------------------+- [] char 0 --------------------------+ [] int --------------------------- [] *NOTHING* *** 26 sorts defined *** Sort expression evaluation has been turned on... **2 OSF V3.0> animal & !bird. *** Normalized OSF term: *** { felide ; canide } **3 OSF V3.0> %trace. Execution tracing has been turned on... **4 OSF V3.0> animal & !bird. ***************** EVALUATION STACK: ***************** ***************** EXPRESSION STACK: ***************** animal bird NOT AND ------------------------------------------------------------------- STEP [1] > ***************** EVALUATION STACK: ***************** code = -+++++++++++++++++++++----- [] maximal subsort = animal ***************** EXPRESSION STACK: ***************** bird NOT AND ------------------------------------------------------------------- STEP [2] > ***************** EVALUATION STACK: ***************** code = -+++----+--------+---+----- [] maximal subsort = bird code = -+++++++++++++++++++++----- [] maximal subsort = animal ***************** EXPRESSION STACK: ***************** NOT AND ------------------------------------------------------------------- STEP [3] > ***************** EVALUATION STACK: ***************** code = +---++++-++++++++-+++-+++++ ][ maximal subsort = boolean felide string canide char float int code = -+++++++++++++++++++++----- [] maximal subsort = animal ***************** EXPRESSION STACK: ***************** AND Made 2 new code copies ------------------------------------------------------------------- STEP [4] > ***************** EVALUATION STACK: ***************** code = -+++----+--------+---+----- ][ maximal subsort = boolean felide string canide char float int ***************** EXPRESSION STACK: ***************** ------------------------------------------------------------------- STEP [5] > Total number of code copying in this run: 2 ***************** EVALUATION STACK: ***************** ***************** EXPRESSION STACK: ***************** int float OR char OR canide OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [6] > ***************** EVALUATION STACK: ***************** code = --------------------------+ [] maximal subsort = int ***************** EXPRESSION STACK: ***************** float OR char OR canide OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [7] > ***************** EVALUATION STACK: ***************** code = ------------------------+-- [] maximal subsort = float code = --------------------------+ [] maximal subsort = int ***************** EXPRESSION STACK: ***************** OR char OR canide OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [8] > ***************** EVALUATION STACK: ***************** code = ------------------------+-+ ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** char OR canide OR string OR felide OR boolean OR Made 2 new code copies ------------------------------------------------------------------- STEP [9] > ***************** EVALUATION STACK: ***************** code = -------------------------+- [] maximal subsort = char code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** OR canide OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [10] > ***************** EVALUATION STACK: ***************** code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** canide OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [11] > ***************** EVALUATION STACK: ***************** code = ------++---++-++----------- [] maximal subsort = canide code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** OR string OR felide OR boolean OR ------------------------------------------------------------------- STEP [12] > ***************** EVALUATION STACK: ***************** code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** string OR felide OR boolean OR ------------------------------------------------------------------- STEP [13] > ***************** EVALUATION STACK: ***************** code = -----------------------+--- [] maximal subsort = string code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** OR felide OR boolean OR ------------------------------------------------------------------- STEP [14] > ***************** EVALUATION STACK: ***************** code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** felide OR boolean OR ------------------------------------------------------------------- STEP [15] > ***************** EVALUATION STACK: ***************** code = ----++---++--+--+---------- [] maximal subsort = felide code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** OR boolean OR ------------------------------------------------------------------- STEP [16] > ***************** EVALUATION STACK: ***************** code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** boolean OR ------------------------------------------------------------------- STEP [17] > ***************** EVALUATION STACK: ***************** code = ----------------------+---- [] maximal subsort = boolean code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** OR ------------------------------------------------------------------- STEP [18] > ***************** EVALUATION STACK: ***************** code = ++++++++++++++++++++++++-+- ][ maximal subsort = float int ***************** EXPRESSION STACK: ***************** ------------------------------------------------------------------- STEP [19] > Total number of code copying in this run: 2 *** Normalized OSF term: *** { float ; int } **5 OSF V3.0>