German, Dutch, Danish, Norwegian, and Swedish use the same word for faculty (university) and factorial (mathematics), so I'm guessing it's a mistranslation from Fakultät/faculteit/fakultet.
Seem difrens
I don't think it would be too bad if they were checkboxes rather than radio buttons.
A risk would be a car suddenly braking for leaves or a plastic bag crossing the road.
I simplified your notation a bit and added some slightly silly predicates, but this works: ticker('TimeWarner', 'TWC', date(1999-01-01), date(2014-04-31)). ticker('TimeWarner', 'AOL', date(2014-05-01),…
German, Dutch, Danish, Norwegian, and Swedish use the same word for faculty (university) and factorial (mathematics), so I'm guessing it's a mistranslation from Fakultät/faculteit/fakultet.
Seem difrens
I don't think it would be too bad if they were checkboxes rather than radio buttons.
A risk would be a car suddenly braking for leaves or a plastic bag crossing the road.
I simplified your notation a bit and added some slightly silly predicates, but this works: ticker('TimeWarner', 'TWC', date(1999-01-01), date(2014-04-31)). ticker('TimeWarner', 'AOL', date(2014-05-01),…