[13052 ms] !store-triple "#guessed language is german" -> if then -> #say "Sorry, I don't speak German"
!store-triple {a and b} is true -> if X then Y -> {a is true} and {b is true}
!store-triple {a is true} and {b is true} -> if X then Y -> {a and b} is true
"!eval flexMatchIC(/"if * then * endif/", loadSnippet(#1011999))"
"!eval getFlexMatchIC(/"if * then * endif/", loadSnippet(#1011999))"
[[
If   swic(trimFirstLine(#input), "If ")
and  swic(trimLastLine(#input), "then ")
then (#input is multiline-if-then)
]] -> is -> the multiline-if-then-rule
[[
If   swic(trimFirstLine(#input), "If ")
and  swic(trimLastLine(#input), "then ")
then (#input is multiline-if-then)
]] is the multiline-if-then-rule
[[If  (swic(trimFirstLine(#input), "If ")
and  (swic(trimLastLine(#input), "then ")
then (#input is multiline-if-then)]] -> is -> the multiline-if-then-rule
[[If  (swic(trimFirstLine(#input), "If ")
and  (swic(trimLastLine(#input), "then ")
then (#input is multiline-if-then)]] is the multiline-if-then-rule
[if, "what is 2+2", then, "4. duh"]
an if-then pattern
an if-then pattern -> is -> a pattern
an if-then pattern is a pattern
if  (Unix is the best operating system)
then (Unix
if  (Unix is the best operating system)
then (Unix is an operating system)
if (Unix -> is -> the best operating system) then (Unix
if (Unix -> is -> the best operating system) then (Unix is an operating system)
if * then * endif
if * then * endif" flexMatchI"
if * then * endif" is an if patter"
if * then * endif" with flexMatchI"
if * then * endif" with flexMatchIC is an if patter"
if * then * endif/" flexMatchI/"
if * then * endif/" with flexMatchI/"
if then
if X then Y
if {$X is too big} then {$X does not fit
if {$X is too big} then {$X does not fit in $Y}
if {(Unix is the best operating system)
then (Unix is an operating system)}
if {(Unix is the best operating system)
then (Unix}
if {* then * endif" with flexMatchI"}
if {* then * endif}
if {X then Y}
if {{$X is too big} then {$X does not fit in $Y}}
if-then pattern
the multiline-if-then-rule