prolog: is hard

Related concepts

Parents	language Weight: 0.65 , programming language Weight: 0.54 , thing Weight: 0.50 , logic Weight: 0.49 , system Weight: 0.40
Siblings	english language Weight: 0.33 , chinese language Weight: 0.33 , italian language Weight: 0.33 , sql Weight: 0.33 , haitian creole Weight: 0.33

Related properties

Property	Similarity
is hard	1.00
is hard drive	0.88
is good for	0.76

Priors about this statement

Cues

Evidence

Clauses

Plausibility inference from child typicality

0.66

Rule weight: 0.66
Evidence weight: 0.99
Similarity weight: 1.00

Evidence: 0.99

Plausible(thing, is hard) ⋁

Evidence: 0.82

¬ Typical(prolog, is hard)

0.60

Rule weight: 0.66
Evidence weight: 0.90
Similarity weight: 1.00

Evidence: 0.87

Plausible(language, is hard) ⋁

Evidence: 0.82

¬ Typical(prolog, is hard)

Plausibility inheritance from parent to child

0.07

Rule weight: 0.09
Evidence weight: 0.78
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.87

¬ Plausible(language, is hard)

0.07

Rule weight: 0.09
Evidence weight: 0.75
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.99

¬ Plausible(thing, is hard)

Remarkability exclusitivity betweem a parent and a child

0.35

Rule weight: 0.58
Evidence weight: 0.61
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.72

¬ Remarkable(language, is hard)

0.27

Rule weight: 0.58
Evidence weight: 0.47
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.98

¬ Remarkable(thing, is hard)

Remarkability exclusitivity between siblings

0.10

Rule weight: 0.13
Evidence weight: 0.74
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.49

¬ Remarkable(english language, is hard)

0.09

Rule weight: 0.13
Evidence weight: 0.67
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.62

¬ Remarkable(sql, is hard)

0.09

Rule weight: 0.13
Evidence weight: 0.64
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.67

¬ Remarkable(chinese language, is hard)

Remarkability from parent implausibility

0.42

Rule weight: 0.42
Evidence weight: 1.00
Similarity weight: 1.00

Evidence: 0.99

Plausible(thing, is hard) ⋁

Evidence: 0.54

Remarkable(prolog, is hard) ⋁

Evidence: 0.75

¬ Plausible(prolog, is hard)

0.40

Rule weight: 0.42
Evidence weight: 0.96
Similarity weight: 1.00

Evidence: 0.87

Plausible(language, is hard) ⋁

Evidence: 0.54

Remarkable(prolog, is hard) ⋁

Evidence: 0.75

¬ Plausible(prolog, is hard)

Remarkability from sibling implausibility

0.56

Rule weight: 0.60
Evidence weight: 0.93
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.62

Remarkable(sql, is hard) ⋁

Evidence: 0.69

¬ Plausible(sql, is hard)

0.56

Rule weight: 0.60
Evidence weight: 0.93
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.67

Remarkable(chinese language, is hard) ⋁

Evidence: 0.80

¬ Plausible(chinese language, is hard)

0.54

Rule weight: 0.60
Evidence weight: 0.90
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.49

Remarkable(english language, is hard) ⋁

Evidence: 0.79

¬ Plausible(english language, is hard)

Salient implies Plausible

0.23

Rule weight: 0.28
Evidence weight: 0.80
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.79

¬ Salient(prolog, is hard)

Similarity expansion

0.73

Rule weight: 0.85
Evidence weight: 0.97
Similarity weight: 0.88

Evidence: 0.79

Salient(prolog, is hard) ⋁

Evidence: 0.15

¬ Salient(prolog, is hard drive)

0.72

Rule weight: 0.85
Evidence weight: 0.97
Similarity weight: 0.88

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.13

¬ Plausible(prolog, is hard drive)

0.70

Rule weight: 0.85
Evidence weight: 0.94
Similarity weight: 0.88

Evidence: 0.82

Typical(prolog, is hard) ⋁

Evidence: 0.35

¬ Typical(prolog, is hard drive)

0.69

Rule weight: 0.85
Evidence weight: 0.92
Similarity weight: 0.88

Evidence: 0.54

Remarkable(prolog, is hard) ⋁

Evidence: 0.17

¬ Remarkable(prolog, is hard drive)

0.56

Rule weight: 0.85
Evidence weight: 0.86
Similarity weight: 0.76

Evidence: 0.82

Typical(prolog, is hard) ⋁

Evidence: 0.76

¬ Typical(prolog, is good for)

...

Typical and Remarkable implies Salient

0.13

Rule weight: 0.14
Evidence weight: 0.91
Similarity weight: 1.00

Evidence: 0.79

Salient(prolog, is hard) ⋁

Evidence: 0.82

¬ Typical(prolog, is hard) ⋁

Evidence: 0.54

¬ Remarkable(prolog, is hard)

Typical implies Plausible

0.38

Rule weight: 0.48
Evidence weight: 0.79
Similarity weight: 1.00

Evidence: 0.75

Plausible(prolog, is hard) ⋁

Evidence: 0.82

¬ Typical(prolog, is hard)

Typicality and Rermarkability incompatibility between a parent and a child

0.26

Rule weight: 0.51
Evidence weight: 0.51
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.92

¬ Typical(language, is hard)

0.24

Rule weight: 0.51
Evidence weight: 0.47
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 1.00

¬ Typical(thing, is hard)

Typicality and Rermarkability incompatibility between siblings

0.08

Rule weight: 0.14
Evidence weight: 0.61
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.72

¬ Typical(sql, is hard)

0.08

Rule weight: 0.14
Evidence weight: 0.56
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.83

¬ Typical(chinese language, is hard)

0.07

Rule weight: 0.14
Evidence weight: 0.53
Similarity weight: 1.00

Evidence: 0.54

¬ Remarkable(prolog, is hard) ⋁

Evidence: 0.88

¬ Typical(english language, is hard)

Typicality inheritance from parent to child

0.40

Rule weight: 0.48
Evidence weight: 0.83
Similarity weight: 1.00

Evidence: 0.82

Typical(prolog, is hard) ⋁

Evidence: 0.92

¬ Typical(language, is hard)

0.40

Rule weight: 0.48
Evidence weight: 0.82
Similarity weight: 1.00

Evidence: 0.82

Typical(prolog, is hard) ⋁

Evidence: 1.00

¬ Typical(thing, is hard)