Machines can be abstract.Logical formLearned from18 sentences. Standards can be abstract.Logical formLearned from18 sentences. A class can be abstract.Logical formLearned from18 sentences. Endpoints can be abstract.Logical formLearned from18 sentences. Proposals can be abstract.Logical formLearned from18 sentences. Movements can be abstract.Logical formLearned from18 sentences. A display can be abstract.Logical formLearned from18 sentences. Measures can be abstract.Logical formLearned from17 sentences. A family can be abstract.Logical formLearned from17 sentences. A (window toolkit) can be abstract.Logical formLearned from17 sentences. A position can be abstract.Logical formLearned from17 sentences. An existence can be abstract.Logical formLearned from17 sentences. References can be abstract.Logical formLearned from17 sentences. Murals can be abstract.Logical formLearned from17 sentences. Names can be abstract.Logical formLearned from17 sentences.