[Attempto] New version of RACE

[Norbert E. Fuchs]

Hi everyone

A new version of the ACE reasoner RACE is available via its web-interface
  
  http://attempto.ifi.uzh.ch/race/

I completely redesigned deductions from plurals thus not only giving RACE a more principled behaviour, but also simplifying RACE's interface.

Concretely RACE 

  - allows all deductions from distributive plurals

    Each of three girls gives each of four books to each of five students on each of six mornings. 
    |- 
    Each of two girls gives each of three books to each of four students on a morning.

  - does not allow deductions from collective plurals to collective plurals with smaller cardinality or to the singular

    John has three apples.
    |\- 
    John has two apples.

    John has three apples.
    |\- 
    John has one apple.

  - allows deductions involving generalised quantifiers for all plurals if the mathematical relations between the generalised quantifiers are correct  

    John has three apples.
    |- 
    John has at least one apple.

    John has each of at least 3 apples.
    |-
    John has more than 2 apples.

  - allows deductions from distributive plurals to collective plurals but not vice versa  

    Each of 3 women waits.
    |-
    2 women wait.

    3 women wait.
    |\-
    Each of 3 women waits.

As a consequence of this redesign all parameters controlling deductions from plurals have disappeared. The only parameter remaining – called 'raw' – allows you to output all proofs together with the auxiliary axioms used for the proofs.

I'd appreciate your feedback and your bug-reports.

Best regards.

   --- nef