S
implified
O
ntological
A
rgument
HOML
SimplifiedOntologicalArgument
MFilter
BaseDefs
ScottVariant
UFilterVariant
SimpleVariant
SimpleVariantPG
SimpleVariantSE
SimpleVariantSEinT
SimpleVariantHF
KanckosLethenNo2Possibilist