Logical form predical and ontology (Macmillan, 1982)