;;; LRRH EXAMPLE that appeared in KR'89 paper ;;; ;;; This example shows how EPILOG makes sense of the story: ;;; "The wolf would have very much liked to eat LRRH, but ;;; he dared not do so on account of the woodcutters nearby." ;;; ;;; Below are concatenated the input file and the output file. ;;; The input file contains, among other things, (1) meta knowledge about ;;; certain action verbs, (2) 4 meaning postulates, (3) 9 world knowledge ;;; rules, and (4) an excerpt from the LRRH story in Episodic Logic form. ;;; ;;; EPILOG explains the Wolf's decision as follows: ;;; - Attacking a child is extremely wicked. ;;; - Trying to eat a living creature involves attacking it, and such ;;; an attack is conspicuous and likely to be noticed by nearby people. ;;; - Doing something extremely wicked is likely to bring severe ;;; punishment, if noticed by anyone. ;;; - So, if the wolf tries to eat LRRH, the nearby woodcutters may ;;; notice it, and he is likely to be severely punished for it. ;;;=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ;;; INPUT FILE ;;;=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= (unless (find-package "EPILOG") (load "/home/diamond/u5/epilog/EPILOG4.3/epi/epi")) (in-package #+lucid 'epilog #-lucid epilog) (tweak '*filter-threshold* 100) (use-spec 'time-specialist) (add-word 'action-type '(NP (name 1) (noun activity))) (trace 'forward-details) ;Meta knowledge ;`try', `eat', `attack', `punish', and `kill' are action predicates (meta '(try %action-pred) '(eat %action-pred) '(attack %action-pred) '(punish %action-pred) '(kill %action-pred) ) ;A, E and L in the formulas below correspond to universal quantifier, ;existential quantifier and lambda expression, respectively. ; ;Meaning postulates (mp ;M1 To walk, to attack someone, to try to do something, to die etc, are ; all types of actions '(A p_pred (p %action-pred) (A e1_term (A x_term ((qq ((x p) ** e1) ) true) ((qq ((To (L y (L e2_ep ((y p) ** e2)))) action-type)) true)))) ;M2 If there is a collection of things of some type, then there is a thing ; of that type which belongs to that collection (we regard collections as ; non-empty by definition) '(A p_pred (A y_set ((qq (y (coll p))) true) ((qq (E z (z member-of y) (z p))) true))) ;M3/M4 '(A p_pred (p %action-pred) (A e1_term (A x_term ((qq ((pair x e1) instance-of (To p))) true) ((qq (e1 p x)) true)))) '(A p_pred (p %action-pred) (A e1_term (A x_term ((qq ((x p) ** e1)) true) ((qq ((pair x e1) instance-of (To (L q (L e2_ep ((q p) ** e2)))))) true) ))) ;M5 - no longer necessary ) ;The numeric implication in the rules indicates the lower bound ;on the statistical probability of the rule. ; ;World knolwedge (kn ;K1 For a creature to attack a child is extremely wicked '((E x (x creature) (E y (y child) (E e1_ep ((x attack y) ** e1)))) 0.9 ((pair x e1) (extremely wicked))) ;K2 Trying to eat any living creature involves attacking it '(A y ((y alive) and (y creature)) ((To (L x (L e1_ep ((x try (To (L z (L e2_ep ((z eat y) ** e2))))) ** e1)))) involve (To (L x1 (L e3_ep ((x1 attack y) ** e3)))))) ; might be better if also required an instance of the trying to eat ; as well before firing ;K3 If one type of action involves another, then any creature doing an ; instance of the first will do an instance of the second during it '(A x (x creature) (A a1 (a1 action-type) (A a2 ((a2 action-type) and (a1 involve a2)) (A e1_ep ((pair x e1) instance-of a1) (E e2_ep (e2 during e1) ((pair x e2) instance-of a2)))))) ;K4 For a sizable creature to attack a sizable thing is conspicuous ; (relative to a human observer) '((E x (x human) (E y ((y creature) and (not y tiny-rel-to x)) (E z ((z creature) and (not z tiny-rel-to y)) (E e1_ep ((y attack z) ** e1))))) 0.9 ((pair y e1) conspicuous-to x)) ;K5 If a creature performs a conspicuous action within plain sight of a ; human, that human is likely to notice that action '((E x (x creature) (E y (y human) (E e1_ep ((x within-plain-sight-of y) ** e1) (E e2_ep (e2 during e1) ((pair x e2) conspicuous-to y))))) 0.6 (E e3_ep (e3 during e2) ((y notice (pair x e2)) ** e3))) ;K6 Doing something extremely wicked may bring severe punishment from some ; group of people, if noticed by anyone '((E x (x creature) (E y (y human) (E e1_ep ((pair x e1) (extremely wicked)) (E e2_ep ((y notice (pair x e1)) ** e2))))) 0.3 (E p_set (p (coll human)) (E e3_ep (e2 cause-of e3) ((p (severely punish) x) ** e3)))) ;K7 A human is not tiny relative to a wolf, and vice versa '(A x (x human) (A y (y wolf) ((not x tiny-rel-to y) and (not y tiny-rel-to x)))) ;K8 If a creature is near a human and not tiny relative to the human, it ; is probably withing plain sight of the human. (This could be improved ; by assuming that we are dealing with a daytime episode in an open setting) '((E x (x human) (E y ((y creature) and (not y tiny-rel-to x)) (E e1_ep ((y near x) ** e1)))) 0.6 (E e2_ep (e2 same-time e1) ((y within-plain-sight-of x) ** e2))) ;K9 Woodcutters are human '(A x (x woodcutter) (x human)) ) (story ; Little Red Riding Hood is a girl and is alive '(lrrh girl) '(lrrh alive) ) (story ;A wolf tries to eat LRRH '(E se1_ep (now_ep during se1) (E sx1 (sx1 wolf) ((sx1 try (To (L x (L e2_ep ((x eat lrrh) ** e2))))) ** se1))) ) (story ;There are woodcutters nearby '(E y_set (y (coll woodcutter)) (A x (x member-of y) (E se3_ep (se1 during se3) ((sx1 near x) ** se3)))) ) ;;;=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ;;; OUTPUT ;;;=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ; Loading /usr/staff/lib/cl/siteinit.cl ; Loading sitewide siteinit.cl file. ;;; defined (reset-default-opt) to change optimization settings back to defaults: (declaim (optimize (space 1) (speed 2) (safety 1) (debug 2))) ;; Optimization settings: safety 1, space 1, speed 2, debug 2. ;; For a complete description of all compiler switches given the current ;; optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS). --> Running Cold Initializations --> Running Warm Initializations Initing *random-state* CL-LIB Version: 4.11 Time-stamp: <96/04/17 20:09:03 miller> USER(1): ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/epi.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/EPILOG.fasl43 ****************************************************************** * Welcome to EPILOG: the computational system for Episodic Logic * * * * Last update: August 1993 * ****************************************************************** This version of EPILOG is copyrighted by the University of Alberta. It may be used for academic and instructional purposes, but not for commercial purposes (except by Boeing Company); publication of the source requires written permission from Boeing, for five years following acceptance of this version of EPILOG by Boeing. MEMORY MANAGEMENT ..... LOADING EPILOG ..... ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/epiuser/epiuser.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/story/story.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/lib.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/lib/general.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/io.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/lib/display.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/help.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/lib/rewind.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/hash.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/trace.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/lib/tweak.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/epilib.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/info.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/prob.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/pred.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/hier.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/create.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/objects.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/mem.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/subst.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/interest.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/complex.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/class.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/norm.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/ret.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/unify.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epilib/compare.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/response.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/defs.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/lex.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/filter.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/organize.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/general.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/combine.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/fragment.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/build.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/fill.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/print.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/trans.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/response/verbalize.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/eshell.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/interp.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/io.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/read.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/cmdhash.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/eshell/cmds.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/story/eval.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/story/forward.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/story/qa.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/story/enter.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/story/subgoal.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/story/access.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/story/user.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/epiuser/call.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/epiuser/eshell.fasl43 DONE require epiuser DONE require epilog ; Loading /home/diamond/u5/epilog/EPILOG4.3/epi/specialists DONE load specialists ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/type/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/type/type.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 Specialist TYPE-SPECIALIST is now active ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/episode/definition.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/episode/episode.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 Specialist EPISODE-SPECIALIST is now active ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/hier/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/hier/hier.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 Specialist HIER-SPECIALIST is now active ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/part.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/defs.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/part/general.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/eval.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/enter.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/part/print.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/part/compare.fasl43 Specialist PART-SPECIALIST is now active ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/meta/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/meta/meta.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/meta/functions.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/meta/eval.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/meta/enter.fasl43 Specialist META-SPECIALIST is now active ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/other/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/other/other.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/other/eval.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/other/enter.fasl43 Specialist OTHER-SPECIALIST is now active ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/equal/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/equal/equal.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/set-equal/set-equal.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/set-equal/defs.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/set-equal/general.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/set-equal/enter.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/equal/functions.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/equal/eval.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/equal/enter.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/equal/print.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/equal/compare.fasl43 Specialist EQUALITY-SPECIALIST is now activeDONE use-spec specialists ; Loading /home/diamond/u5/epilog/EPILOG4.3/epi/epi-hier DONE load epi-hier ; Loading /home/diamond/u5/epilog/EPILOG4.3/epi/epi-indicate DONE load epi-indicate ; Loading /home/diamond/u5/epilog/EPILOG4.3/epi/epi-init.lisp DONE load epi/epi-init.lisp ; Loading ./epi-init.lisp ; Loading ./eg.hier ; Loading ./eg.indicate ; Loading ./eg.parts ; Loading ./eg.trans ; Loading ./eg.lex DONE load epi-init.lisp DONE number-hier DONE loading EPILOG T USER(2): # EPI(3): EPI(3): 100.0 EPI(4): ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/definition.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/time.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/spec/spec.fasl43 ; Fast loading ; /home/diamond/u5/epilog/EPILOG4.3/epi/spec/interface.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/pred.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/defs.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/general.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/psuedo.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/absdur.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/links.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/find.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/eval.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/enter.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/print.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/compare.fasl43 ; Fast loading /home/diamond/u5/epilog/EPILOG4.3/epi/time/functions.fasl43 Specialist TIME-SPECIALIST is now active (TIME-SPECIALIST) EPI(5): (NP (NAME 1) (NOUN ACTIVITY)) EPI(6): NIL EPI(7): Loading meta information ... WFF1: (TRY %ACTION-PRED) Probability: 1 Loading meta information ... WFF2: (EAT %ACTION-PRED) Probability: 1 Loading meta information ... WFF3: (ATTACK %ACTION-PRED) Probability: 1 Loading meta information ... WFF4: (PUNISH %ACTION-PRED) Probability: 1 Loading meta information ... WFF5: (KILL %ACTION-PRED) Probability: 1 (WFF1 WFF2 WFF3 WFF4 WFF5) EPI(8): EPI(8): Loading meaning postulate ... WFF19: (A PRED-X (PRED-X %ACTION-PRED) (A TERM-Y (A TERM-Z ((QQUOTE ((TERM-Z PRED-X) ** TERM-Y)) TRUE) ((QQUOTE ((TO (L L-U (L L-EP-V ((L-U PRED-X) ** L-EP-V)))) ACTION-TYPE)) TRUE)))) Probability: 1 Loading meaning postulate ... WFF29: (A PRED-X (A SET-Y ((QQUOTE (SET-Y (COLL PRED-X))) TRUE) ((QQUOTE (E U (U MEMBER-OF SET-Y) (U PRED-X))) TRUE))) Probability: 1 Loading meaning postulate ... WFF38: (A PRED-X (PRED-X %ACTION-PRED) (A TERM-Y (A TERM-Z ((QQUOTE ((PAIR TERM-Z TERM-Y) INSTANCE-OF (TO PRED-X))) TRUE) ((QQUOTE (TERM-Y PRED-X TERM-Z)) TRUE)))) Probability: 1 Loading meaning postulate ... WFF44: (A PRED-X (PRED-X %ACTION-PRED) (A TERM-Y (A TERM-Z ((QQUOTE ((TERM-Z PRED-X) ** TERM-Y)) TRUE) ((QQUOTE ((PAIR TERM-Z TERM-Y) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U PRED-X) ** L-EP-V)))))) TRUE)))) Probability: 1 (WFF19 WFF29 WFF38 WFF44) EPI(9): EPI(9): Loading knowledge ... WFF53: ((E X (X CREATURE) (E Y (Y CHILD) (E EP-Z ((X ATTACK Y) ** EP-Z)))) 0.9 ((PAIR X EP-Z) (EXTREMELY WICKED))) Probability: 1 WARNING: Response: Missing translation information for ATTACK - guessing WARNING: Response: Missing translation information for WICKED - guessing If a creature attacks a child, an action by the creature is usually extremely wicked. Loading knowledge ... WFF66: (A X ((X CREATURE) AND (X ALIVE)) ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT X) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE (TO (L L-V1 (L L-EP-W1 ((L-V1 ATTACK X) ** L-EP-W1)))))) Probability: 1 WARNING: Response: Missing translation information for TRY - guessing Trying to eat an alive creature involves attacking it. Loading knowledge ... WFF78: (A X (X CREATURE) (A Y (Y ACTION-TYPE) (A Z ((Z ACTION-TYPE) AND (Y INVOLVE Z)) (A EP-X1 ((PAIR X EP-X1) INSTANCE-OF Y) (E EP-U (EP-U DURING EP-X1) ((PAIR X EP-U) INSTANCE-OF Z)))))) Probability: 1 If an activity involves another activity, and an action by a creature is an instance of the activity, another action by the creature is an instance of that other activity. Loading knowledge ... WFF93: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E Z ((Z CREATURE) AND (NOT Z TINY-REL-TO Y)) (E EP-X1 ((Y ATTACK Z) ** EP-X1))))) 0.9 ((PAIR Y EP-X1) CONSPICUOUS-TO X)) Probability: 1 If a creature not tiny relative to someone attacks another creature not tiny relative to the creature, an action by the creature is usually conspicuous to him. Loading knowledge ... WFF106: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((X WITHIN-PLAIN-SIGHT-OF Y) ** EP-Z) (E EP-X1 (EP-X1 DURING EP-Z) ((PAIR X EP-X1) CONSPICUOUS-TO Y))))) 0.6 (E EP-U (EP-U DURING EP-X1) ((Y NOTICE (PAIR X EP-X1)) ** EP-U))) Probability: 1 WARNING: Response: Missing translation information for NOTICE - guessing If an action by a creature is conspicuous to someone, the action is likely noticed by him. Loading knowledge ... WFF119: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((PAIR X EP-Z) (EXTREMELY WICKED)) (E EP-X1 ((Y NOTICE (PAIR X EP-Z)) ** EP-X1))))) 0.3 (E SET-U (SET-U (COLL HUMAN)) (E EP-V (EP-X1 CAUSE-OF EP-V) ((SET-U (SEVERELY PUNISH) X) ** EP-V)))) Probability: 1 WARNING: Response: Missing translation information for PUNISH - guessing WARNING: Response: Missing translation information for SEVERELY - guessing If someone notices an action by a creature that is extremely wicked, a group of humans sometimes severely punishes the creature. Loading knowledge ... WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) Probability: 1 Nobody is tiny relative to wolves, and they aren't tiny relative to him. Loading knowledge ... WFF134: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E EP-Z ((Y NEAR X) ** EP-Z)))) 0.6 (E EP-U (EP-U SAME-TIME EP-Z) ((Y WITHIN-PLAIN-SIGHT-OF X) ** EP-U))) Probability: 1 Any creature not tiny relative to someone that is near him is likely within some human's plain sight at the same time. Loading knowledge ... WFF136: (A X (X WOODCUTTER) (X HUMAN)) Probability: 1 Woodcutters are humans. (WFF53 WFF66 WFF78 WFF93 WFF106 WFF119 WFF124 WFF134 WFF136) EPI(10): EPI(10): Loading story sentence ... WFF137: (LRRH GIRL) Stored in Input Array [0] Probability: 1 ** INFERRED FORMULA ** WFF142: (A X (X WOLF) ((NOT LRRH TINY-REL-TO X) AND (NOT X TINY-REL-TO LRRH))) Rank: 1 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF137: (LRRH GIRL) Probability: 1 Little Red Riding Hood is a girl. She isn't tiny relative to a wolf, and it isn't tiny relative to her. Loading story sentence ... WFF143: (LRRH ALIVE) Stored in Input Array [1] Probability: 1 ** INFERRED FORMULA ** WFF153: ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE (TO (L L-V1 (L L-EP-W1 ((L-V1 ATTACK LRRH) ** L-EP-W1))))) Rank: 1 Parents: WFF66: (A X ((X CREATURE) AND (X ALIVE)) ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT X) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE (TO (L L-V1 (L L-EP-W1 ((L-V1 ATTACK X) ** L-EP-W1)))))) WFF137: (LRRH GIRL) WFF143: (LRRH ALIVE) Probability: 1 Little Red Riding Hood is alive. Trying to eat her involves attacking her. (WFF137 WFF142 WFF143 WFF153) EPI(11): Loading story sentence ... WFF154: (NOW DURING EP-C1) Stored in Input Array [2] Probability: 1 Loading story sentence ... WFF155: (C2 WOLF) Stored in Input Array [2] Probability: 1 ** INFERRED FORMULA ** WFF159: (A X (X HUMAN) ((NOT X TINY-REL-TO C2) AND (NOT C2 TINY-REL-TO X))) Rank: 1 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF155: (C2 WOLF) Probability: 1 ** INFERRED FORMULA ** WFF160: (NOT LRRH TINY-REL-TO C2) Rank: 1 Parents: WFF159: (A X (X HUMAN) ((NOT X TINY-REL-TO C2) AND (NOT C2 TINY-REL-TO X))) WFF137: (LRRH GIRL) Probability: 1 ** INFERRED FORMULA ** WFF161: (NOT C2 TINY-REL-TO LRRH) Rank: 1 Parents: WFF159: (A X (X HUMAN) ((NOT X TINY-REL-TO C2) AND (NOT C2 TINY-REL-TO X))) WFF137: (LRRH GIRL) Probability: 1 Loading story sentence ... WFF167: ((C2 TRY (TO (L L-U (L L-EP-V ((L-U EAT LRRH) ** L-EP-V))))) ** EP-C1) Stored in Input Array [2] Probability: 1 ** INFERRED FORMULA ** WFF169: ((PAIR C2 EP-C1) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V))))) Rank: 1 Parents: WFF44: (A PRED-X (PRED-X %ACTION-PRED) (A TERM-Y (A TERM-Z ((QQUOTE ((TERM-Z PRED-X) ** TERM-Y)) TRUE) ((QQUOTE ((PAIR TERM-Z TERM-Y) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U PRED-X) ** L-EP-V)))))) TRUE)))) WFF167: ((C2 TRY (TO (L L-U (L L-EP-V ((L-U EAT LRRH) ** L-EP-V))))) ** EP-C1) Probability: 1 ** INFERRED FORMULA ** WFF176: (EP-C3 DURING EP-C1) Rank: 2 Parents: WFF78: (A X (X CREATURE) (A Y (Y ACTION-TYPE) (A Z ((Z ACTION-TYPE) AND (Y INVOLVE Z)) (A EP-X1 ((PAIR X EP-X1) INSTANCE-OF Y) (E EP-U (EP-U DURING EP-X1) ((PAIR X EP-U) INSTANCE-OF Z)))))) WFF155: (C2 WOLF) WFF153: ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE (TO (L L-V1 (L L-EP-W1 ((L-V1 ATTACK LRRH) ** L-EP-W1))))) WFF169: ((PAIR C2 EP-C1) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V))))) Probability: 1 ** INFERRED FORMULA ** WFF180: ((PAIR C2 EP-C3) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U ATTACK LRRH) ** L-EP-V))))) Rank: 2 Parents: WFF78: (A X (X CREATURE) (A Y (Y ACTION-TYPE) (A Z ((Z ACTION-TYPE) AND (Y INVOLVE Z)) (A EP-X1 ((PAIR X EP-X1) INSTANCE-OF Y) (E EP-U (EP-U DURING EP-X1) ((PAIR X EP-U) INSTANCE-OF Z)))))) WFF155: (C2 WOLF) WFF153: ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE (TO (L L-V1 (L L-EP-W1 ((L-V1 ATTACK LRRH) ** L-EP-W1))))) WFF169: ((PAIR C2 EP-C1) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V))))) Probability: 1 ** INFERRED FORMULA ** WFF182: ((C2 ATTACK LRRH) ** EP-C3) Rank: 3 Parents: WFF38: (A PRED-X (PRED-X %ACTION-PRED) (A TERM-Y (A TERM-Z ((QQUOTE ((PAIR TERM-Z TERM-Y) INSTANCE-OF (TO PRED-X))) TRUE) ((QQUOTE (TERM-Y PRED-X TERM-Z)) TRUE)))) WFF180: ((PAIR C2 EP-C3) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U ATTACK LRRH) ** L-EP-V))))) Probability: 1 ** INFERRED FORMULA ** WFF185: ((PAIR C2 EP-C3) (EXTREMELY WICKED)) Rank: 4 Parents: WFF53: ((E X (X CREATURE) (E Y (Y CHILD) (E EP-Z ((X ATTACK Y) ** EP-Z)))) 0.9 ((PAIR X EP-Z) (EXTREMELY WICKED))) WFF137: (LRRH GIRL) WFF155: (C2 WOLF) WFF182: ((C2 ATTACK LRRH) ** EP-C3) Probability: 0.9 ** INFERRED FORMULA ** WFF186: ((PAIR C2 EP-C3) CONSPICUOUS-TO LRRH) Rank: 4 Parents: WFF93: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E Z ((Z CREATURE) AND (NOT Z TINY-REL-TO Y)) (E EP-X1 ((Y ATTACK Z) ** EP-X1))))) 0.9 ((PAIR Y EP-X1) CONSPICUOUS-TO X)) WFF160: (NOT LRRH TINY-REL-TO C2) WFF155: (C2 WOLF) WFF137: (LRRH GIRL) WFF161: (NOT C2 TINY-REL-TO LRRH) WFF182: ((C2 ATTACK LRRH) ** EP-C3) Probability: 0.9 ** INFERRED FORMULA ** WFF189: ((E X (X HUMAN) (NOT C2 TINY-REL-TO X)) 0.9 ((PAIR C2 EP-C3) CONSPICUOUS-TO X)) Rank: 4 Parents: WFF93: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E Z ((Z CREATURE) AND (NOT Z TINY-REL-TO Y)) (E EP-X1 ((Y ATTACK Z) ** EP-X1))))) 0.9 ((PAIR Y EP-X1) CONSPICUOUS-TO X)) WFF160: (NOT LRRH TINY-REL-TO C2) WFF137: (LRRH GIRL) WFF155: (C2 WOLF) WFF182: ((C2 ATTACK LRRH) ** EP-C3) Probability: 1 ** INFERRED FORMULA ** WFF196: (A X ((X ACTION-TYPE) AND ((TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V)))) INVOLVE X)) (E EP-V1 (EP-V1 DURING EP-C1) ((PAIR C2 EP-V1) INSTANCE-OF X))) Rank: 2 Parents: WFF78: (A X (X CREATURE) (A Y (Y ACTION-TYPE) (A Z ((Z ACTION-TYPE) AND (Y INVOLVE Z)) (A EP-X1 ((PAIR X EP-X1) INSTANCE-OF Y) (E EP-U (EP-U DURING EP-X1) ((PAIR X EP-U) INSTANCE-OF Z)))))) WFF155: (C2 WOLF) WFF169: ((PAIR C2 EP-C1) INSTANCE-OF (TO (L L-U (L L-EP-V ((L-U TRY (TO (L L-W (L L-EP-U1 ((L-W EAT LRRH) ** L-EP-U1))))) ** L-EP-V))))) Probability: 1 NOW is while a wolf tried to eat Little Red Riding Hood. Nobody is tiny relative to the wolf, and it isn't tiny relative to him. The wolf isn't tiny relative to her. She isn't tiny relative to the wolf. The action by the wolf of trying to eat her is an instance of trying to eat her. The action by the wolf of it attacking her while the wolf tried to eat her is an instance of attacking her. The wolf attacked her. The action is extremely wicked. The action is conspicuous to her. The action is usually conspicuous to everyone. If trying to eat her involves an activity, another action by the wolf is an instance of the activity. (WFF154 WFF155 WFF159 WFF160 WFF161 WFF167 WFF169 WFF176 WFF180 WFF182 WFF185 WFF186 WFF189 WFF196) EPI(12): Loading story sentence ... WFF198: (SET-C4 (COLL WOODCUTTER)) Stored in Input Array [3] Probability: 1 ** INFERRED FORMULA ** WFF202: (C5 MEMBER-OF SET-C4) Rank: 1 Parents: WFF29: (A PRED-X (A SET-Y ((QQUOTE (SET-Y (COLL PRED-X))) TRUE) ((QQUOTE (E U (U MEMBER-OF SET-Y) (U PRED-X))) TRUE))) WFF198: (SET-C4 (COLL WOODCUTTER)) Probability: 1 ** INFERRED FORMULA ** WFF203: (C5 WOODCUTTER) Rank: 1 Parents: WFF29: (A PRED-X (A SET-Y ((QQUOTE (SET-Y (COLL PRED-X))) TRUE) ((QQUOTE (E U (U MEMBER-OF SET-Y) (U PRED-X))) TRUE))) WFF198: (SET-C4 (COLL WOODCUTTER)) Probability: 1 ** INFERRED FORMULA ** WFF204: (C5 HUMAN) Rank: 2 Parents: WFF136: (A X (X WOODCUTTER) (X HUMAN)) WFF203: (C5 WOODCUTTER) Probability: 1 ** INFERRED FORMULA ** WFF205: (NOT C5 TINY-REL-TO C2) Rank: 3 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF155: (C2 WOLF) WFF204: (C5 HUMAN) Probability: 1 ** INFERRED FORMULA ** WFF206: (NOT C2 TINY-REL-TO C5) Rank: 3 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF155: (C2 WOLF) WFF204: (C5 HUMAN) Probability: 1 ** INFERRED FORMULA ** WFF208: ((PAIR C2 EP-C3) CONSPICUOUS-TO C5) Rank: 4 Parents: WFF189: ((E X (X HUMAN) (NOT C2 TINY-REL-TO X)) 0.9 ((PAIR C2 EP-C3) CONSPICUOUS-TO X)) WFF204: (C5 HUMAN) WFF206: (NOT C2 TINY-REL-TO C5) Probability: 0.9 ** INFERRED FORMULA ** WFF212: (A X (X WOLF) ((NOT C5 TINY-REL-TO X) AND (NOT X TINY-REL-TO C5))) Rank: 3 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF204: (C5 HUMAN) Probability: 1 Loading story sentence ... WFF218: (A X (X MEMBER-OF SET-C4) (E EP-U (EP-C1 DURING EP-U) ((C2 NEAR X) ** EP-U))) Stored in Input Array [3] Probability: 1 ** INFERRED FORMULA ** WFF222: (EP-C1 DURING EP-C6) Rank: 2 Parents: WFF218: (A X (X MEMBER-OF SET-C4) (E EP-U (EP-C1 DURING EP-U) ((C2 NEAR X) ** EP-U))) WFF202: (C5 MEMBER-OF SET-C4) Probability: 1 ** INFERRED FORMULA ** WFF223: ((C2 NEAR C5) ** EP-C6) Rank: 2 Parents: WFF218: (A X (X MEMBER-OF SET-C4) (E EP-U (EP-C1 DURING EP-U) ((C2 NEAR X) ** EP-U))) WFF202: (C5 MEMBER-OF SET-C4) Probability: 1 ** INFERRED FORMULA ** WFF230: (EP-C7 SAME-TIME EP-C6) Rank: 3 Parents: WFF134: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E EP-Z ((Y NEAR X) ** EP-Z)))) 0.6 (E EP-U (EP-U SAME-TIME EP-Z) ((Y WITHIN-PLAIN-SIGHT-OF X) ** EP-U))) WFF206: (NOT C2 TINY-REL-TO C5) WFF155: (C2 WOLF) WFF204: (C5 HUMAN) WFF223: ((C2 NEAR C5) ** EP-C6) Probability: 1 ** INFERRED FORMULA ** WFF231: ((C2 WITHIN-PLAIN-SIGHT-OF C5) ** EP-C7) Rank: 3 Parents: WFF134: ((E X (X HUMAN) (E Y ((Y CREATURE) AND (NOT Y TINY-REL-TO X)) (E EP-Z ((Y NEAR X) ** EP-Z)))) 0.6 (E EP-U (EP-U SAME-TIME EP-Z) ((Y WITHIN-PLAIN-SIGHT-OF X) ** EP-U))) WFF206: (NOT C2 TINY-REL-TO C5) WFF155: (C2 WOLF) WFF204: (C5 HUMAN) WFF223: ((C2 NEAR C5) ** EP-C6) Probability: 0.6 ** INFERRED FORMULA ** WFF241: ((E EP-X (EP-X DURING EP-C7) ((PAIR C2 EP-X) CONSPICUOUS-TO C5)) 0.6 (E EP-U (EP-U DURING EP-X) ((C5 NOTICE (PAIR C2 EP-X)) ** EP-U))) Rank: 4 Parents: WFF106: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((X WITHIN-PLAIN-SIGHT-OF Y) ** EP-Z) (E EP-X1 (EP-X1 DURING EP-Z) ((PAIR X EP-X1) CONSPICUOUS-TO Y))))) 0.6 (E EP-U (EP-U DURING EP-X1) ((Y NOTICE (PAIR X EP-X1)) ** EP-U))) WFF204: (C5 HUMAN) WFF155: (C2 WOLF) WFF231: ((C2 WITHIN-PLAIN-SIGHT-OF C5) ** EP-C7) Probability: 0.6 ** INFERRED FORMULA ** WFF246: (EP-C8 DURING EP-C3) Rank: 5 Parents: WFF241: ((E EP-X (EP-X DURING EP-C7) ((PAIR C2 EP-X) CONSPICUOUS-TO C5)) 0.6 (E EP-U (EP-U DURING EP-X) ((C5 NOTICE (PAIR C2 EP-X)) ** EP-U))) WFF208: ((PAIR C2 EP-C3) CONSPICUOUS-TO C5) Probability: 1 ** INFERRED FORMULA ** WFF247: ((C5 NOTICE (PAIR C2 EP-C3)) ** EP-C8) Rank: 5 Parents: WFF241: ((E EP-X (EP-X DURING EP-C7) ((PAIR C2 EP-X) CONSPICUOUS-TO C5)) 0.6 (E EP-U (EP-U DURING EP-X) ((C5 NOTICE (PAIR C2 EP-X)) ** EP-U))) WFF208: ((PAIR C2 EP-C3) CONSPICUOUS-TO C5) Probability: 0.32400003 ** INFERRED FORMULA ** WFF256: (SET-C9 (COLL HUMAN)) Rank: 6 Parents: WFF185: ((PAIR C2 EP-C3) (EXTREMELY WICKED)) WFF119: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((PAIR X EP-Z) (EXTREMELY WICKED)) (E EP-X1 ((Y NOTICE (PAIR X EP-Z)) ** EP-X1))))) 0.3 (E SET-U (SET-U (COLL HUMAN)) (E EP-V (EP-X1 CAUSE-OF EP-V) ((SET-U (SEVERELY PUNISH) X) ** EP-V)))) WFF204: (C5 HUMAN) WFF155: (C2 WOLF) WFF247: ((C5 NOTICE (PAIR C2 EP-C3)) ** EP-C8) Probability: 1 ** INFERRED FORMULA ** WFF260: (C10 MEMBER-OF SET-C9) Rank: 7 Parents: WFF29: (A PRED-X (A SET-Y ((QQUOTE (SET-Y (COLL PRED-X))) TRUE) ((QQUOTE (E U (U MEMBER-OF SET-Y) (U PRED-X))) TRUE))) WFF256: (SET-C9 (COLL HUMAN)) Probability: 1 ** INFERRED FORMULA ** WFF261: (C10 HUMAN) Rank: 7 Parents: WFF29: (A PRED-X (A SET-Y ((QQUOTE (SET-Y (COLL PRED-X))) TRUE) ((QQUOTE (E U (U MEMBER-OF SET-Y) (U PRED-X))) TRUE))) WFF256: (SET-C9 (COLL HUMAN)) Probability: 1 ** INFERRED FORMULA ** WFF262: (NOT C10 TINY-REL-TO C2) Rank: 8 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF155: (C2 WOLF) WFF261: (C10 HUMAN) Probability: 1 ** INFERRED FORMULA ** WFF263: (NOT C2 TINY-REL-TO C10) Rank: 8 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF155: (C2 WOLF) WFF261: (C10 HUMAN) Probability: 1 ** INFERRED FORMULA ** WFF265: ((PAIR C2 EP-C3) CONSPICUOUS-TO C10) Rank: 9 Parents: WFF189: ((E X (X HUMAN) (NOT C2 TINY-REL-TO X)) 0.9 ((PAIR C2 EP-C3) CONSPICUOUS-TO X)) WFF261: (C10 HUMAN) WFF263: (NOT C2 TINY-REL-TO C10) Probability: 0.9 ** INFERRED FORMULA ** WFF269: (A X (X WOLF) ((NOT C10 TINY-REL-TO X) AND (NOT X TINY-REL-TO C10))) Rank: 8 Parents: WFF124: (A X (X HUMAN) (A Y (Y WOLF) ((NOT X TINY-REL-TO Y) AND (NOT Y TINY-REL-TO X)))) WFF261: (C10 HUMAN) Probability: 1 ** INFERRED FORMULA ** WFF274: (EP-C8 CAUSE-OF EP-C11) Rank: 6 Parents: WFF185: ((PAIR C2 EP-C3) (EXTREMELY WICKED)) WFF119: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((PAIR X EP-Z) (EXTREMELY WICKED)) (E EP-X1 ((Y NOTICE (PAIR X EP-Z)) ** EP-X1))))) 0.3 (E SET-U (SET-U (COLL HUMAN)) (E EP-V (EP-X1 CAUSE-OF EP-V) ((SET-U (SEVERELY PUNISH) X) ** EP-V)))) WFF204: (C5 HUMAN) WFF155: (C2 WOLF) WFF247: ((C5 NOTICE (PAIR C2 EP-C3)) ** EP-C8) Probability: 1 ** INFERRED FORMULA ** WFF275: ((SET-C9 (SEVERELY PUNISH) C2) ** EP-C11) Rank: 6 Parents: WFF185: ((PAIR C2 EP-C3) (EXTREMELY WICKED)) WFF119: ((E X (X CREATURE) (E Y (Y HUMAN) (E EP-Z ((PAIR X EP-Z) (EXTREMELY WICKED)) (E EP-X1 ((Y NOTICE (PAIR X EP-Z)) ** EP-X1))))) 0.3 (E SET-U (SET-U (COLL HUMAN)) (E EP-V (EP-X1 CAUSE-OF EP-V) ((SET-U (SEVERELY PUNISH) X) ** EP-V)))) WFF204: (C5 HUMAN) WFF155: (C2 WOLF) WFF247: ((C5 NOTICE (PAIR C2 EP-C3)) ** EP-C8) Probability: 0.08748001 There is a group of woodcutters. A wolf tried to eat Little Red Riding Hood while it was near members of the group of woodcutters. A member of them is a woodcutter. He is someone. It isn't tiny relative to him. He isn't tiny relative to it. The action by the wolf of it attacking her is conspicuous to him. He isn't tiny relative to a wolf, and it isn't tiny relative to him. The wolf tried to eat her while it was near him. The wolf was within some human's plain sight at the same time as it was near him. If an action by the wolf is conspicuous to him, the action is likely noticed by him. He noticed the action while the wolf attacked her. A group of humans severely punished the wolf because he noticed the action. A member is of them is. The wolf isn't tiny relative to the member. The member isn't tiny relative to the wolf. The action is conspicuous to the member. The member isn't tiny relative to a wolf, and it isn't tiny relative to the member. (WFF198 WFF202 WFF203 WFF204 WFF205 WFF206 WFF208 WFF212 WFF218 WFF222 WFF223 WFF230 WFF231 WFF241 WFF246 WFF247 WFF256 WFF260 WFF261 WFF262 WFF263 WFF265 WFF269 WFF274 WFF275) EPI(13): EPI(13): EOF Really exit lisp [n]? ; Exiting Lisp