∀x (Publication(x) ∧ PublishedIn(x, thisLab) → ¬WithoutAbstract(x))
∀x (Publication(x) ∧ PublishedIn(x, thisLab) ∧ (ScienceJournal(x) ∨ CellPressJournal(x))) 
∀x (PublishedIn(x, thisLab) ∧ ScienceJournal(x) ∧ Publication(x) → Prominent(x) ∧ Publication(x)) 
∀x (PublishedIn(x, thisLab) ∧ ScienceJournal(x) ∧ Publication(x) → Require(x, peerReview)) 
∀x (PublishedIn(x, thisLab) ∧ Prominent(x) ∧ Publication(x) → ¬EasilyAccepted(x)) 
PublishedIn(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus, thisLab) ∧ ¬(ScienceJournal(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus) ⊕ CellPressJournal(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus))
WithoutAbstract(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus) ∨ Require(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus, peerReview) → ¬(ScienceJournal(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus) ⊕ EasilyAccepted(provisionOfHighMeatContentFoodAndObjectPlayReducePredationOfWildAnimalsByDomesticCatsFelisCatus))