Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- NAL TEST
- -----------------------------
- 'the detective claims that tim lives in graz
- -----------------------------
- % ['$COMMENT'("the detective claims that tim lives in graz", -1, -1)].
- -----------------------------
- <{tim} --> (/,livingIn,_,{graz})>.
- -----------------------------
- % [ task(judgement,
- % inheritance(ext_set([tim]), ext_image([livingIn, '_', ext_set([graz])])),
- % _,
- % _,
- % Task)
- % ].
- -----------------------------
- <bird --> swimmer>. %0.87;0.91%
- -----------------------------
- % [task(judgement, inheritance(bird, swimmer), _, [0.87, 0.91], Task)].
- -----------------------------
- ''outputMustContain('<bird --> swimmer>. %0.87;0.91%')
- -----------------------------
- % ['$COMMENT'("'outputMustContain('<bird --> swimmer>. %0.87;0.91%')", -1, -1)].
- -----------------------------
- 1
- -----------------------------
- % [do_steps(1)].
- -----------------------------
- $1
- -----------------------------
- % [nal_term(var(ind, 1))].
- -----------------------------
- #1
- -----------------------------
- % [nal_term(var(dep, 1))].
- -----------------------------
- ?1
- -----------------------------
- % [nal_term(var(query, 1))].
- -----------------------------
- /1
- -----------------------------
- % [nal_term(var(arg, 1))].
- -----------------------------
- \1
- -----------------------------
- % [nal_term(var(int, 1))].
- -----------------------------
- 'eating tiger
- -----------------------------
- % ['$COMMENT'("eating tiger", -1, -1)].
- -----------------------------
- (eat /1 tiger)
- -----------------------------
- % [nal_term(ext_image([eat, '_', tiger]))].
- -----------------------------
- (/,eat,_,tiger)
- -----------------------------
- % [nal_term(ext_image([eat, '_', tiger]))].
- -----------------------------
- 'eaten by tiger
- -----------------------------
- % ['$COMMENT'("eaten by tiger", -1, -1)].
- -----------------------------
- (eat /2 tiger)
- -----------------------------
- % [nal_term(ext_image([eat, tiger, '_']))].
- -----------------------------
- (/,eat,tiger,_)
- -----------------------------
- % [nal_term(ext_image([eat, tiger, '_']))].
- -----------------------------
- 'intensional eating
- -----------------------------
- % ['$COMMENT'("intensional eating", -1, -1)].
- -----------------------------
- (eat \1 tiger)
- -----------------------------
- % [nal_term(int_image([eat, '_', tiger]))].
- -----------------------------
- (\,eat,_,tiger)
- -----------------------------
- % [nal_term(int_image([eat, '_', tiger]))].
- -----------------------------
- (eat \2 tiger)
- -----------------------------
- % [nal_term(int_image([eat, tiger, '_']))].
- -----------------------------
- (\,eat,tiger,_)
- -----------------------------
- % [nal_term(int_image([eat, tiger, '_']))].
- -----------------------------
- 'Revision ------
- 'Bird is a type of swimmer.
- <bird --> swimmer>.
- 'Bird is probably not a type of swimmer.
- <bird --> swimmer>. %0.10;0.60%
- 1
- 'Bird is very likely to be a type of swimmer.
- ''outputMustContain('<bird --> swimmer>. %0.87;0.91%')
- -----------------------------
- % [ '$COMMENT'("Revision ------", -1, -1),
- % '$COMMENT'("Bird is a type of swimmer.", -1, -1),
- % task(judgement, inheritance(bird, swimmer), _, _, Task),
- % '$COMMENT'("Bird is probably not a type of swimmer.", -1, -1),
- % task(judgement, inheritance(bird, swimmer), _, [0.1, 0.6], Task1),
- % do_steps(1),
- % '$COMMENT'("Bird is very likely to be a type of swimmer.", -1, -1),
- % '$COMMENT'("'outputMustContain('<bird --> swimmer>. %0.87;0.91%')", -1, -1)
- % ].
- -----------------------------
- ********** revision
- IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
- IN: <bird --> swimmer>. %0.10;0.60% {0 : 2}
- 1
- OUT: <bird --> swimmer>. %0.87;0.91% {1 : 1;2}
- -----------------------------
- % [ '$COMMENT'("******** revision", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [0.1, 0.6],
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [0.87, 0.91],
- % Task2),
- % (1:1;2))
- % ].
- -----------------------------
- ********** deduction
- IN: <bird --> animal>. %1.00;0.90% {0 : 1}
- IN: <robin --> bird>. %1.00;0.90% {0 : 2}
- 1
- OUT: <robin --> animal>. %1.00;0.81% {1 : 2;1}
- OUT: <animal --> robin>. %1.00;0.45% {1 : 2;1}
- -----------------------------
- % [ '$COMMENT'("******** deduction", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, animal),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(judgement,
- % inheritance(robin, bird),
- % _,
- % [1.0, 0.9],
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(robin, animal),
- % _,
- % [1.0, 0.81],
- % Task2),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(animal, robin),
- % _,
- % [1.0, 0.45],
- % Task3),
- % (1:2;1))
- % ].
- -----------------------------
- ********** abduction
- IN: <sport --> competition>. %1.00;0.90% {0 : 1}
- IN: <chess --> competition>. %0.90;0.90% {0 : 2}
- 1
- OUT: <sport --> chess>. %1.00;0.42% {1 : 2;1}
- OUT: <chess --> sport>. %0.90;0.45% {1 : 2;1}
- OUT: <chess <-> sport>. %0.90;0.45% {1 : 2;1}
- OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {1 : 2;1}
- OUT: <(<PIPE>,chess,sport) --> competition>. %0.90;0.81% {1 : 2;1}
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {1 : 2;1}
- OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {1 : 2;1}
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {1 : 2;1}
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {1 : 2;1}
- -----------------------------
- % [ '$COMMENT'("******** abduction", -1, -1),
- % nal_in(task(judgement,
- % inheritance(sport, competition),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(judgement,
- % inheritance(chess, competition),
- % _,
- % [0.9, 0.9],
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(sport, chess),
- % _,
- % [1.0, 0.42],
- % Task2),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(chess, sport),
- % _,
- % [0.9, 0.45],
- % Task3),
- % (1:2;1)),
- % nal_out(task(judgement,
- % similarity(chess, sport),
- % _,
- % [0.9, 0.45],
- % Task4),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(ext_intersection([chess, sport]), competition),
- % _,
- % [1.0, 0.81],
- % Task5),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(int_intersection([chess, sport]), competition),
- % _,
- % [0.9, 0.81],
- % Task6),
- % (1:2;1)),
- % nal_out(task(judgement,
- % implication(inheritance(sport, var(ind, 1)),
- % inheritance(chess, var(ind, 1))),
- % _,
- % [0.9, 0.45],
- % Task7),
- % (1:2;1)),
- % nal_out(task(judgement,
- % implication(inheritance(chess, var(ind, 1)),
- % inheritance(sport, var(ind, 1))),
- % _,
- % [1.0, 0.42],
- % Task8),
- % (1:2;1)),
- % nal_out(task(judgement,
- % equiv(inheritance(chess, var(ind, 1)),
- % inheritance(sport, var(ind, 1))),
- % _,
- % [0.9, 0.45],
- % Task9),
- % (1:2;1)),
- % nal_out(task(judgement,
- % nal_named_statement(and([ inheritance(chess, var(dep, 1)),
- % inheritance(sport, var(dep, 1))
- % ])),
- % _,
- % [0.9, 0.81],
- % Task10),
- % (1:2;1))
- % ].
- -----------------------------
- ********* induction
- IN: <swan --> swimmer>. %0.90;0.90% {0 : 1}
- IN: <swan --> bird>. %1.00;0.90% {0 : 2}
- 1
- OUT: <bird --> swimmer>. %0.90;0.45% {1 : 2;1}
- OUT: <swimmer --> bird>. %1.00;0.42% {1 : 2;1}
- OUT: <bird <-> swimmer>. %0.90;0.45% {1 : 2;1}
- OUT: <swan --> (<PIPE>,bird,swimmer)>. %1.00;0.81% {1 : 2;1}
- OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {1 : 2;1}
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {1 : 2;1}
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {1 : 2;1}
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {1 : 2;1}
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {1 : 2;1}
- -----------------------------
- % [ '$COMMENT'("******* induction", -1, -1),
- % nal_in(task(judgement,
- % inheritance(swan, swimmer),
- % _,
- % [0.9, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(judgement,
- % inheritance(swan, bird),
- % _,
- % [1.0, 0.9],
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [0.9, 0.45],
- % Task2),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(swimmer, bird),
- % _,
- % [1.0, 0.42],
- % Task3),
- % (1:2;1)),
- % nal_out(task(judgement,
- % similarity(bird, swimmer),
- % _,
- % [0.9, 0.45],
- % Task4),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(swan, int_intersection([bird, swimmer])),
- % _,
- % [1.0, 0.81],
- % Task5),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(swan, ext_intersection([bird, swimmer])),
- % _,
- % [0.9, 0.81],
- % Task6),
- % (1:2;1)),
- % nal_out(task(judgement,
- % implication(inheritance(var(ind, 1), swimmer),
- % inheritance(var(ind, 1), bird)),
- % _,
- % [1.0, 0.42],
- % Task7),
- % (1:2;1)),
- % nal_out(task(judgement,
- % implication(inheritance(var(ind, 1), bird),
- % inheritance(var(ind, 1), swimmer)),
- % _,
- % [0.9, 0.45],
- % Task8),
- % (1:2;1)),
- % nal_out(task(judgement,
- % equiv(inheritance(var(ind, 1), bird),
- % inheritance(var(ind, 1), swimmer)),
- % _,
- % [0.9, 0.45],
- % Task9),
- % (1:2;1)),
- % nal_out(task(judgement,
- % nal_named_statement(and([ inheritance(var(dep, 1), bird),
- % inheritance(var(dep, 1), swimmer)
- % ])),
- % _,
- % [0.9, 0.81],
- % Task10),
- % (1:2;1))
- % ].
- -----------------------------
- ********** exemplification
- IN: <robin --> bird>. %1.00;0.90% {0 : 1}
- IN: <bird --> animal>. %1.00;0.90% {0 : 2}
- 1
- OUT: <robin --> animal>. %1.00;0.81% {1 : 2;1}
- OUT: <animal --> robin>. %1.00;0.45% {1 : 2;1}
- -----------------------------
- % [ '$COMMENT'("******** exemplification", -1, -1),
- % nal_in(task(judgement,
- % inheritance(robin, bird),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(judgement,
- % inheritance(bird, animal),
- % _,
- % [1.0, 0.9],
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(robin, animal),
- % _,
- % [1.0, 0.81],
- % Task2),
- % (1:2;1)),
- % nal_out(task(judgement,
- % inheritance(animal, robin),
- % _,
- % [1.0, 0.45],
- % Task3),
- % (1:2;1))
- % ].
- -----------------------------
- ********** conversion
- IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
- IN: <swimmer --> bird>? {0 : 2}
- 2
- OUT: <swimmer --> bird>. %1.00;0.47% {2 : 1}
- -----------------------------
- % [ '$COMMENT'("******** conversion", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(question_truth,
- % inheritance(swimmer, bird),
- % _,
- % _,
- % Task1),
- % 0:2),
- % do_steps(2),
- % nal_out(task(judgement,
- % inheritance(swimmer, bird),
- % _,
- % [1.0, 0.47],
- % Task2),
- % 2:1)
- % ].
- -----------------------------
- ********** y/n question
- IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
- IN: <bird --> swimmer>? {0 : 2}
- 1
- OUT: <bird --> swimmer>. %1.00;0.90% {0 : 1}
- -----------------------------
- % [ '$COMMENT'("******** y/n question", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.9],
- % Task),
- % 0:1),
- % nal_in(task(question_truth,
- % inheritance(bird, swimmer),
- % _,
- % _,
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.9],
- % Task2),
- % 0:1)
- % ].
- -----------------------------
- ********** wh-question
- IN: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- IN: <?1 --> swimmer>? {0 : 2}
- 1
- OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- -----------------------------
- % [ '$COMMENT'("******** wh-question", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task),
- % 0:1),
- % nal_in(task(question_truth,
- % inheritance(var(query, 1), swimmer),
- % _,
- % _,
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task2),
- % 0:1)
- % ].
- -----------------------------
- 'the detective claims that tim lives in graz
- '<{tim} --> (/,livingIn,_,{graz})>.
- 'and lawyer claims that this is not the case
- <{tim} --> (/,livingIn,_,{graz})>. %0%
- 100
- 'the first deponent, a psychologist,
- 'claims that people with sunglasses are more aggressive
- <<(*,$1,sunglasses) --> own> ==> <$1 --> [aggressive]>>.
- 'the third deponent claims, that he has seen tom with sunglasses on:
- <(*,{tom},sunglasses) --> own>.
- 'the teacher claims, that people who are aggressive tend to be murders
- <<$1 --> [aggressive]> ==> <$1 --> murder>>.
- 'the second deponent claims, that if the person lives in Graz, he is surely the murder
- <<$1 --> (/,livingIn,_,{graz})> ==> <$1 --> murder>>.
- 'who is the murder?
- <{?who} --> murder>?
- ''outputMustContain('<{tom} --> murder>. %1.00;0.73%')
- -----------------------------
- % [ '$COMMENT'("the detective claims that tim lives in graz", -1, -1),
- % '$COMMENT'("<{tim} --> (/,livingIn,_,{graz})>.", -1, -1),
- % '$COMMENT'("and lawyer claims that this is not the case", -1, -1),
- % task(judgement,
- % inheritance(ext_set([tim]), ext_image([livingIn, '_', ext_set([graz])])),
- % _,
- % [0, CAR],
- % Task),
- % do_steps(100),
- % '$COMMENT'("the first deponent, a psychologist,", -1, -1),
- % '$COMMENT'("claims that people with sunglasses are more aggressive", -1, -1),
- % task(judgement,
- % implication(inheritance(product([var(ind, 1), sunglasses]), own),
- % inheritance(var(ind, 1), int_set([aggressive]))),
- % _,
- % _,
- % Task1),
- % '$COMMENT'("the third deponent claims, that he has seen tom with sunglasses on:",
- % -1,
- % -1),
- % task(judgement,
- % inheritance(product([ext_set([tom]), sunglasses]), own),
- % _,
- % _,
- % Task2),
- % '$COMMENT'("the teacher claims, that people who are aggressive tend to be murders",
- % -1,
- % -1),
- % task(judgement,
- % implication(inheritance(var(ind, 1), int_set([aggressive])),
- % inheritance(var(ind, 1), murder)),
- % _,
- % _,
- % Task3),
- % '$COMMENT'("the second deponent claims, that if the person lives in Graz, he is surely the murder",
- % -1,
- % -1),
- % task(judgement,
- % implication(inheritance(var(ind, 1),
- % ext_image([livingIn, '_', ext_set([graz])])),
- % inheritance(var(ind, 1), murder)),
- % _,
- % _,
- % Task4),
- % '$COMMENT'("who is the murder?", -1, -1),
- % task(question_truth,
- % inheritance(ext_set([var(query, who)]), murder),
- % _,
- % _,
- % Task5),
- % '$COMMENT'("'outputMustContain('<{tom} --> murder>. %1.00;0.73%')", -1, -1)
- % ].
- -----------------------------
- ' Custom truth values These are added by appending {0.0 0.9} instead of %0.0;0.9% as we believe this increased the readability.
- ' Example
- ********** wh-question
- IN: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- IN: <?1 --> swimmer>? {0 : 2}
- 1
- OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- ' can now be
- ********** wh-question
- IN: <bird --> swimmer>. {1.0 0.80} {0 : 1}
- IN: <?1 --> swimmer>? {0 : 2}
- 1
- OUT: <bird --> swimmer>. {1.0 0.80} {0 : 1}
- -----------------------------
- % [ '$COMMENT'(" Custom truth values These are added by appending {0.0 0.9} instead of %0.0;0.9% as we believe this increased the readability.",
- % -1,
- % -1),
- % '$COMMENT'(" Example", -1, -1),
- % '$COMMENT'("******** wh-question", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task),
- % 0:1),
- % nal_in(task(question_truth,
- % inheritance(var(query, 1), swimmer),
- % _,
- % _,
- % Task1),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task2),
- % 0:1),
- % '$COMMENT'(" can now be", -1, -1),
- % '$COMMENT'("******** wh-question", -1, -1),
- % nal_in(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task3),
- % 0:1),
- % nal_in(task(question_truth,
- % inheritance(var(query, 1), swimmer),
- % _,
- % _,
- % Task4),
- % 0:2),
- % do_steps(1),
- % nal_out(task(judgement,
- % inheritance(bird, swimmer),
- % _,
- % [1.0, 0.8],
- % Task5),
- % 0:1)
- % ].
- -----------------------------
- 'Intervals, to measure expected time distances between events, are always learned by ONA and stored as meta-data, they are not part of the Narsese I/O format anymore. Hence a sequence
- (&/,a,+5,b)
- ' becomes
- (&/,a,b)
- ' or
- (a &/ b)
- ' and also the interval for implications is not used anymore.
- -----------------------------
- % [ '$COMMENT'("Intervals, to measure expected time distances between events, are always learned by ONA and stored as meta-data, they are not part of the Narsese I/O format anymore. Hence a sequence",
- % -1,
- % -1),
- % nal_term(sequence_evnts([a, + 5, b])),
- % '$COMMENT'(" becomes", -1, -1),
- % nal_term(sequence_evnts([a, b])),
- % '$COMMENT'(" or", -1, -1),
- % nal_term(sequence_evnts([a, b])),
- % '$COMMENT'(" and also the interval for implications is not used anymore.",
- % -1,
- % -1)
- % ].
- -----------------------------
- 'Operators The syntactic sugar
- (^op,arg_1,arg_2,arg_3,arg_n)
- ' is not supported anymore, instead the full notation has to be used which is supported by both systems:
- <(*,arg_1,arg_2,arg_3,arg_n) --> ^op>
- ' though for operations without arguments, the following shortcut can be used:
- ^op
- -----------------------------
- % [ '$COMMENT'("Operators The syntactic sugar", -1, -1),
- % nal_term(product([exec([op]), arg_1, arg_2, arg_3, arg_n])),
- % '$COMMENT'(" is not supported anymore, instead the full notation has to be used which is supported by both systems:",
- % -1,
- % -1),
- % nal_term(inheritance(product([arg_1, arg_2, arg_3, arg_n]), exec([op]))),
- % '$COMMENT'(" though for operations without arguments, the following shortcut can be used:",
- % -1,
- % -1),
- % nal_term(exec([op]))
- % ].
- -----------------------------
- 'Restrictions
- '1. Copulas in ONA are binary, since it's using an array-based heap for terms.
- ' While there are ways to encode n-ary relations in a binary heap, the ONA philosophy, following KISS,
- ' encourages the use of left-nesting, which is also used by the system itself to compose sequences of events:
- ((a &/ b) &/ c).
- -----------------------------
- % [ '$COMMENT'("Restrictions", -1, -1),
- % '$COMMENT'("1. Copulas in ONA are binary, since it's using an array-based heap for terms. ",
- % -1,
- % -1),
- % '$COMMENT'(" While there are ways to encode n-ary relations in a binary heap, the ONA philosophy, following KISS, ",
- % -1,
- % -1),
- % '$COMMENT'(" encourages the use of left-nesting, which is also used by the system itself to compose sequences of events:",
- % -1,
- % -1),
- % task(judgement,
- % nal_named_statement(sequence_evnts([sequence_evnts([a, b]), c])),
- % _,
- % _,
- % Task)
- % ].
- -----------------------------
- '2. The parallel temporal copula &<PIPE> is not implemented, please use &/ for now, again due to KISS.
- ' If the order does not matter in some background knowledge we want to give the system, in addition to
- <(a &/ b) =/> c>
- ' also give it
- <(b &/ a) =/> c>
- ' to achieve the same as with &<PIPE> for now.
- -----------------------------
- % [ '$COMMENT'("2. The parallel temporal copula &| is not implemented, please use &/ for now, again due to KISS. ",
- % -1,
- % -1),
- % '$COMMENT'(" If the order does not matter in some background knowledge we want to give the system, in addition to",
- % -1,
- % -1),
- % nal_term(predictive_impl(sequence_evnts([a, b]), c)),
- % '$COMMENT'(" also give it", -1, -1),
- % nal_term(predictive_impl(sequence_evnts([b, a]), c)),
- % '$COMMENT'(" to achieve the same as with &| for now.", -1, -1)
- % ].
- -----------------------------
- 'Optional syntactic improvements
- ' The ONA parser does not require commas, and doesn't distinguish between < and (, also it supports infix format.
- <(<PIPE>,a,b) --> M>.
- ' can be written as
- <(a <PIPE> b) --> M>.
- ' or even as
- ((a <PIPE> b) --> M).
- ' Note: Spaces cannot be omitted.
- -----------------------------
- % [ '$COMMENT'("Optional syntactic improvements", -1, -1),
- % '$COMMENT'(" The ONA parser does not require commas, and doesn't distinguish between < and (, also it supports infix format.",
- % -1,
- % -1),
- % task(judgement,
- % inheritance(int_intersection([a, b]), 'M'),
- % _,
- % _,
- % Task),
- % '$COMMENT'(" can be written as", -1, -1),
- % task(judgement,
- % inheritance(int_intersection([a, b]), 'M'),
- % _,
- % _,
- % Task1),
- % '$COMMENT'(" or even as", -1, -1),
- % task(judgement,
- % inheritance(int_intersection([a, b]), 'M'),
- % _,
- % _,
- % Task2),
- % '$COMMENT'(" Note: Spaces cannot be omitted.", -1, -1)
- % ].
- true.
- baseKB: ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement