id	keyword
asir-5476	syllogisms
asir-5476	logic
asir-5476	rule
asir-5476	all(c
asir-5476	research