mirror of https://github.com/percyliang/sempre
11 lines
778 B
Plaintext
11 lines
778 B
Plaintext
(rule $Expr ($PHRASE) (NumberFn))
|
|
(rule $Operator (plus) (ConstantFn (lambda y (lambda x (call + (var x) (var y)))) (-> fb:type.number (-> fb:type.number fb:type.number))))
|
|
(rule $Operator (times) (ConstantFn (lambda y (lambda x (call * (var x) (var y)))) (-> fb:type.number (-> fb:type.number fb:type.number))))
|
|
(rule $Partial ($Operator $Expr) (JoinFn forward))
|
|
(rule $Expr ($Expr $Partial) (JoinFn backward))
|
|
(rule $ROOT ((what optional) (is optional) $Expr (? optional)) (IdentityFn))
|
|
|
|
# Ambiguity
|
|
(rule $Operator (and) (ConstantFn (lambda y (lambda x (call + (var x) (var y)))) (-> fb:type.number (-> fb:type.number fb:type.number))))
|
|
(rule $Operator (and) (ConstantFn (lambda y (lambda x (call * (var x) (var y)))) (-> fb:type.number (-> fb:type.number fb:type.number))))
|