Question: Is the Cardinality of the group of the McLaughlin group less than 1077753600.0?
SPARQL (Wikidata): ASK WHERE { wd:Q997257 wdt:P1164 ?obj filter(?obj < 1077753600.0) }